]> andersk Git - splint.git/blame - test/test.c
noexpand always false.
[splint.git] / test / test.c
CommitLineData
cc78dedd 1int main (void) {
2 int *ip;
3 *ip = 3; /* 5. possible null deref */
4}
This page took 0.303358 seconds and 5 git commands to generate.