]>
Commit | Line | Data |
---|---|---|
e4c9f289 | 1 | |
2 | sizeof.c: (in function main) | |
03d670b6 | 3 | sizeof.c:6:2: Possible out-of-bounds store. Unable to resolve constraint: |
4 | requires: : ( 2 ) >= ( 3 ) | |
5 | needed to satisfy precondition: | |
6 | requires: : maxSet ((x @ sizeof.c:6:2 ) ) >= ( 3 ) | |
e4c9f289 | 7 | |
8 | Finished LCLint checking --- 1 code error found |