]>
Commit | Line | Data |
---|---|---|
8e349e11 | 1 | |
2 | m.c: (in function t) | |
3 | m.c:9:1: Index of possibly null pointer f: f | |
4 | m.c:8:5: Storage f may become null | |
5 | sizeof.c: (in function f) | |
03d670b6 | 6 | sizeof.c:17:1: Possible out-of-bounds store. Unable to resolve constraint: |
7 | requires: : ( 2 ) >= ( 3 ) | |
8 | needed to satisfy precondition: | |
9 | requires: : maxSet ((x @ sizeof.c:17:1 ) ) >= ( 3 ) | |
8e349e11 | 10 | test3.c:2:6: Function t defined more than once |
11 | m.c:11:1: Previous definition of t | |
12 | test3.c: (in function t) | |
03d670b6 | 13 | test3.c:9:3: Possible out-of-bounds store. Unable to resolve constraint: |
14 | requires: : ( 99 ) >= ( 101 ) | |
15 | needed to satisfy precondition: | |
16 | requires: : maxSet ((g @ test3.c:9:3 ) ) >= ( 101 ) | |
8e349e11 | 17 | test7.c:2:6: Function t defined more than once |
18 | m.c:11:1: Previous definition of t | |
19 | test7.c: (in function t) | |
03d670b6 | 20 | test7.c:6:3: Possible out-of-bounds store. Unable to resolve constraint: |
21 | requires: : maxSet ((g @ test7.c:4:3 ) ) >= ( 4 ) | |
22 | needed to satisfy precondition: | |
23 | requires: : maxSet ((g @ test7.c:6:3 ) ) >= ( 2 ) | |
02984642 | 24 | test7.c:8:3: Possible out-of-bounds store. Unable to resolve constraint: |
25 | requires: : maxSet ((j @ test7.c:8:3 ) ) >= ( 0 ) | |
26 | needed to satisfy precondition: | |
27 | requires: : maxSet ((j @ test7.c:8:3 ) ) >= ( 0 ) | |
8e349e11 | 28 | |
29 | Finished LCLint checking --- 7 code errors found |