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