for.c: (in function f)
for.c:13:5: Possible out-of-bounds store. Unable to resolve constraint:
- requires: : (i @ for.c:13:7 ) <= ( 10 )
+ requires i @ for.c:13:7 <= 10
needed to satisfy precondition:
- requires: : maxSet ((t @ for.c:13:5 ) ) >= (i @ for.c:13:7 )
+ requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7
Finished LCLint checking --- 1 code error found