andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | ||
| 2 | strchr.c: (in function func) | |
| 3 | strchr.c:6:4: Dereference of possibly null pointer c: *c | |
| 4 | strchr.c:5:7: Storage c may become null | |
| 5 | strchr.c:6:3: Suspect modification of observer c: *c = 'd' | |
| 6 | ||
| 7 | Finished checking --- 2 code warnings, as expected |