[splint.git] / test / constannot.expect


constannot.c: (in function foo2)
constannot.c:11:3: Possible out-of-bounds store:
    str[20]
    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: Likely out-of-bounds store:
    foo(buf)
    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 checking --- 2 code warnings, as expected
Commit	Line	Data
b9904f57	1
b9904f57	2	constannot.c: (in function foo2)
7bf96067	3	constannot.c:11:3: Possible out-of-bounds store:
9276a168	4	str[20]
7bf96067	5	Unable to resolve constraint:
4109ede4	6	requires maxSet(str @ constannot.c:11:3) >= 20
b9904f57	7	needed to satisfy precondition:
4109ede4	8	requires maxSet(str @ constannot.c:11:3) >= 20
b9904f57	9	constannot.c: (in function foo3)
fba0ed37	10	constannot.c:20:3: Likely out-of-bounds store:
9276a168	11	foo(buf)
7bf96067	12	Unable to resolve constraint:
4109ede4	13	requires <const int=20> <= 19
b9904f57	14	needed to satisfy precondition:
4109ede4	15	requires maxSet(buf @ constannot.c:20:8) >= <const int=20>
	16	derived from foo precondition: requires maxSet(<parameter 1>) >= <const
	17	int=20>
b9904f57	18
11db3170	19	Finished checking --- 2 code warnings, as expected