]>
Commit | Line | Data |
---|---|---|
8e349e11 | 1 | |
2 | for.c: (in function f) | |
7bf96067 | 3 | for.c:13:5: Possible out-of-bounds store: |
9276a168 | 4 | t[i] |
7bf96067 | 5 | Unable to resolve constraint: |
4109ede4 | 6 | requires i @ for.c:13:7 <= 10 |
03d670b6 | 7 | needed to satisfy precondition: |
4109ede4 | 8 | requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7 |
8e349e11 | 9 | |
11db3170 | 10 | Finished checking --- 1 code warning, as expected |