andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | ||
| 2 | returned.c: (in function f) | |
| 3 | returned.c:6:4: Dereference of possibly null pointer s: *s | |
| 4 | returned.c:5:13: Storage s may become null | |
| 5 | ||
| 6 | Finished checking --- 1 code warning, as expected |