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 maxSet(<parameter 1>) >= <const
15 Finished LCLint checking --- 2 code errors found, as expected