[splint.git] / test / maxset.expect


Finished LCLint checking --- no code errors found
/a/apollo.cs.Virginia.EDU/af9/drl7x/re/LCLintDev/test/maxset

maxsetnoannotations.c: (in function noancopy)
maxsetnoannotations.c:5:2: Unresolved constraint:
    Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4
    :9 ) )  >=  MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy
    Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) )  >=  MAXREAD ((b @
    maxsetnoannotations.c:4:11 ) )

Finished LCLint checking --- 1 code error found
Commit	Line	Data
754e4dbd	1
	2	Finished LCLint checking --- no code errors found
	3	/a/apollo.cs.Virginia.EDU/af9/drl7x/re/LCLintDev/test/maxset
	4
	5	maxsetnoannotations.c: (in function noancopy)
	6	maxsetnoannotations.c:5:2: Unresolved constraint:
	7	Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4
	8	:9 ) ) >= MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy
	9	Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) ) >= MAXREAD ((b @
	10	maxsetnoannotations.c:4:11 ) )
	11
	12	Finished LCLint checking --- 1 code error found