[splint.git] / test / constannot.expect


constannot.c: (in function foo2)
constannot.c:11:3: Possible out-of-bounds store.  Unable to resolve constraint:
    requires maxSet(str @ constannot.c:11:3) >= 20
     needed to satisfy precondition:
    requires maxSet(str @ constannot.c:11:3) >= 20
constannot.c: (in function foo3)
constannot.c:20:3: Possible out-of-bounds store.  Unable to resolve constraint:
    requires <const int=20> <= 19
     needed to satisfy precondition:
    requires maxSet(buf @ constannot.c:20:8) >= <const int=20>
     derived from foo precondition: requires maxSet(<parameter 1>) >= <const
    int=20>

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