andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | ||
| 2 | inparam.c: (in function f) | |
| 3 | inparam.c:8:16: Passed storage x not completely defined (*x is undefined): | |
| 4 | unknown (x) | |
| 5 | inparam.c:12:16: Passed storage x not completely defined (*x is undefined): | |
| 6 | inparam (x) | |
| 7 | ||
| 8 | Finished checking --- 2 code warnings, as expected | |
| 9 | ||
| 10 | inparam.c: (in function f) | |
| 11 | inparam.c:12:16: Passed storage x not completely defined (*x is undefined): | |
| 12 | inparam (x) | |
| 13 | ||
| 14 | Finished checking --- 1 code warning, as expected |