]>
Commit | Line | Data |
---|---|---|
5caadb51 | 1 | |
2 | test4.c: (in function t) | |
3 | test4.c:6:3: Variable g used before definition | |
7bf96067 | 4 | test4.c:6:3: Possible out-of-bounds store: |
5 | Unable to resolve constraint: | |
4109ede4 | 6 | requires maxSet(g @ test4.c:6:3) >= 100 |
03d670b6 | 7 | needed to satisfy precondition: |
4109ede4 | 8 | requires maxSet(g @ test4.c:6:3) >= 100 |
5caadb51 | 9 | test6.c:2:6: Function t defined more than once |
10 | test4.c:15:1: Previous definition of t | |
11 | test6.c: (in function t) | |
12 | test6.c:5:4: Variable g used before definition | |
7bf96067 | 13 | test6.c:6:3: Possible out-of-bounds store: |
14 | Unable to resolve constraint: | |
4109ede4 | 15 | requires maxSet(g @ test6.c:5:4) >= 1 |
03d670b6 | 16 | needed to satisfy precondition: |
4109ede4 | 17 | requires maxSet(g @ test6.c:6:3) >= 0 |
7bf96067 | 18 | test6.c:6:10: Possible out-of-bounds read: |
19 | Unable to resolve constraint: | |
4109ede4 | 20 | requires maxRead(g @ test6.c:5:4) >= 2 |
03d670b6 | 21 | needed to satisfy precondition: |
4109ede4 | 22 | requires maxRead(g @ test6.c:6:10) >= 1 |
5caadb51 | 23 | |
24 | Finished LCLint checking --- 6 code errors found |