[splint.git] / test / maxset.expect


Finished LCLint checking --- no code errors found

maxsetnoannotations.c: (in function noancopy)
maxsetnoannotations.c:2:3: Possible out-of-bounds store.  Unable to resolve
    constraint:
    requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
    maxsetnoannotations.c:2:13)
     needed to satisfy precondition:
    requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
    maxsetnoannotations.c:2:13)
     derived from strcpy precondition: requires maxSet(<parameter 1>) >=
    maxRead(<parameter 2>)

Finished LCLint checking --- 1 code error found, as expected
Commit	Line	Data
754e4dbd	1
754e4dbd	2	Finished LCLint checking --- no code errors found
754e4dbd	3
754e4dbd	4	maxsetnoannotations.c: (in function noancopy)
e83c79ec	5	maxsetnoannotations.c:2:3: Possible out-of-bounds store. Unable to resolve
03d670b6	6	constraint:
4109ede4	7	requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
4109ede4	8	maxsetnoannotations.c:2:13)
03d670b6	9	needed to satisfy precondition:
4109ede4	10	requires maxSet(a @ maxsetnoannotations.c:2:11) >= maxRead(b @
	11	maxsetnoannotations.c:2:13)
	12	derived from strcpy precondition: requires maxSet(<parameter 1>) >=
	13	maxRead(<parameter 2>)
754e4dbd	14
e83c79ec	15	Finished LCLint checking --- 1 code error found, as expected