test/maxset.expect

   1
   2 Finished LCLint checking --- no code errors found
   3 /afs/cert.org/usr/dlaroche/LCLintDev/test/maxset
   4
   5 maxsetnoannotations.c: (in function noancopy)
   6 maxsetnoannotations.c:4:1: 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 ) ) derived from strcpy precondition: Requires:
  11     : MAXSET ((<parameter 1> ) )  >=  MAXREAD ((<parameter 2> ) )
  12
  13 Finished LCLint checking --- 1 code error found