]>
Commit | Line | Data |
---|---|---|
e4c9f289 | 1 | |
2 | sizeof.c: (in function main) | |
7bf96067 | 3 | sizeof.c:6:2: Possible out-of-bounds store: |
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 | |
9 | Finished LCLint checking --- 1 code error found |