]> andersk Git - splint.git/blame - test/test.c
Fixed some /@*i@*/ comments in the code.
[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.065563 seconds and 5 git commands to generate.