]>
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: |
4109ede4 | 7 | requires 2 >= 3 |
03d670b6 | 8 | needed to satisfy precondition: |
4109ede4 | 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: |
4109ede4 | 14 | requires 99 >= 101 |
03d670b6 | 15 | needed to satisfy precondition: |
4109ede4 | 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: |
4109ede4 | 21 | requires maxSet(g @ test7.c:4:3) >= 4 |
03d670b6 | 22 | needed to satisfy precondition: |
4109ede4 | 23 | requires maxSet(g @ test7.c:6:3) >= 2 |
02984642 | 24 | test7.c:8:3: Possible out-of-bounds store. Unable to resolve constraint: |
4109ede4 | 25 | requires maxSet(j @ test7.c:8:3) >= 0 |
02984642 | 26 | needed to satisfy precondition: |
4109ede4 | 27 | requires maxSet(j @ test7.c:8:3) >= 0 |
8e349e11 | 28 | |
29 | Finished LCLint checking --- 7 code errors found |