test/for.expect

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