1
2postnotnull.c: (in function test)
3postnotnull.c:20:2: Only storage a.x (type char *) derived from variable
4                       declared in this scope is not released (memory leak)
5
6Finished checking --- 1 code warning, as expected
7