for.c: (in function f)
-for.c:13:5: Unresolved constraint:
- Lclint is unable to resolve Requires: : (i @ for.c:13:7 ) <= ( 10 )
- needed to satisfy Requires: : MAXSET ((t @ for.c:13:5 ) ) >= (i @
- for.c:13:7 )
+for.c:13:5: Possible out-of-bounds store: t[i]
+ Unable to resolve constraint:
+ requires i @ for.c:13:7 <= 10
+ needed to satisfy precondition:
+ requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7
-Finished LCLint checking --- 1 code error found
+Finished checking --- 1 code warning, as expected