]> andersk Git - splint.git/blame - test/nullassign.c
In response to [ 689702 ] Missing C99 __func__ predefined identifier
[splint.git] / test / nullassign.c
CommitLineData
80ee600a 1int *a = 0;
2
3/*@null@*/ int* b = 0;
4
5/*@notnull@*/ int *c = 0;
This page took 0.051448 seconds and 5 git commands to generate.