]>
Commit | Line | Data |
---|---|---|
e4c9f289 | 1 | |
2 | sizeof.c: (in function main) | |
6317f163 | 3 | sizeof.c:6:2: Likely out-of-bounds store: x[(sizeof(x))] |
7bf96067 | 4 | Unable to resolve constraint: |
4109ede4 | 5 | requires 2 >= 3 |
03d670b6 | 6 | needed to satisfy precondition: |
4109ede4 | 7 | requires maxSet(x @ sizeof.c:6:2) >= 3 |
e4c9f289 | 8 | |
c3988baf | 9 | Finished checking --- 1 code warning, as expected |