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