[splint.git] / test / maxset.out


Finished LCLint checking --- no code errors found
/a/apollo/af9/drl7x/tmp/re/LCLintDev/test/maxset

maxsetnoannotations.c: (in function noancopy)
maxsetnoannotations.c:4:1: 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
754e4dbd	2	Finished LCLint checking --- no code errors found
ed3a6c22	3	/a/apollo/af9/drl7x/tmp/re/LCLintDev/test/maxset
754e4dbd	4
754e4dbd	5	maxsetnoannotations.c: (in function noancopy)
8e349e11	6	maxsetnoannotations.c:4:1: Unresolved constraint:
754e4dbd	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