andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | ||
| 2 | unknownsize.c: (in function uknSize1) | |
| 3 | unknownsize.c:9:3: Possible out-of-bounds store: | |
| 4 | Unable to resolve constraint: | |
| 5 | requires maxSet(c @ unknownsize.c:9:3) >= 9 | |
| 6 | needed to satisfy precondition: | |
| 7 | requires maxSet(c @ unknownsize.c:9:3) >= 9 | |
| 8 | ||
| 9 | Finished checking --- 1 code warning found |