[splint.git] / test / maxset.expect


Finished LCLint checking --- no code errors found

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

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