2 constannot.c: (in function foo2)
3 constannot.c:11:3: Possible out-of-bounds store. Unable to resolve constraint:
4 requires: : maxSet ((str @ constannot.c:11:3 ) ) >= ( 20 )
5 needed to satisfy precondition:
6 requires: : maxSet ((str @ constannot.c:11:3 ) ) >= ( 20 )
7 constannot.c: (in function foo3)
8 constannot.c:20:3: Possible out-of-bounds store. Unable to resolve constraint:
9 requires: : (<const int=20> ) <= ( 19 )
10 needed to satisfy precondition:
11 requires: : maxSet ((buf @ constannot.c:20:8 ) ) >= (<const int=20> )
12 derived from foo precondition: requires: :
13 maxSet ((<parameter 1> ) ) >= (<const int=20> )
15 Finished LCLint checking --- 2 code errors found, as expected