]>
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) | |
6317f163 | 6 | sizeof.c:17:1: Likely out-of-bounds store: x[(sizeof(x))] |
7bf96067 | 7 | Unable to resolve constraint: |
4109ede4 | 8 | requires 2 >= 3 |
03d670b6 | 9 | needed to satisfy precondition: |
4109ede4 | 10 | requires maxSet(x @ sizeof.c:17:1) >= 3 |
8e349e11 | 11 | test3.c:2:6: Function t defined more than once |
12 | m.c:11:1: Previous definition of t | |
13 | test3.c: (in function t) | |
6317f163 | 14 | test3.c:9:3: Likely out-of-bounds store: g[101] |
7bf96067 | 15 | Unable to resolve constraint: |
4109ede4 | 16 | requires 99 >= 101 |
03d670b6 | 17 | needed to satisfy precondition: |
4109ede4 | 18 | requires maxSet(g @ test3.c:9:3) >= 101 |
8e349e11 | 19 | test7.c:2:6: Function t defined more than once |
20 | m.c:11:1: Previous definition of t | |
21 | test7.c: (in function t) | |
6317f163 | 22 | test7.c:6:3: Possible out-of-bounds store: g[2] |
7bf96067 | 23 | Unable to resolve constraint: |
4109ede4 | 24 | requires maxSet(g @ test7.c:4:3) >= 4 |
03d670b6 | 25 | needed to satisfy precondition: |
4109ede4 | 26 | requires maxSet(g @ test7.c:6:3) >= 2 |
6317f163 | 27 | test7.c:8:3: Possible out-of-bounds store: j[0] |
7bf96067 | 28 | Unable to resolve constraint: |
4109ede4 | 29 | requires maxSet(j @ test7.c:8:3) >= 0 |
02984642 | 30 | needed to satisfy precondition: |
4109ede4 | 31 | requires maxSet(j @ test7.c:8:3) >= 0 |
8e349e11 | 32 | |
11db3170 | 33 | Finished checking --- 7 code warnings, as expected |