3 for.c:13:5: Possible out-of-bounds store:
4 Unable to resolve constraint:
5 requires i @ for.c:13:7 <= 10
6 needed to satisfy precondition:
7 requires maxSet(t @ for.c:13:5) >= i @ for.c:13:7
9 Finished LCLint checking --- 1 code error found, as expected