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 ) 

Finished LCLint checking --- 1 code error found