]>
Commit | Line | Data |
---|---|---|
30585c35 | 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 | ||
a956d444 | 9 | Finished checking --- 1 code warning, as expected |