test/maxset.out

   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