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