test/maxset.expect

   1
   2 Finished LCLint checking --- no code errors found
   3
   4 maxsetnoannotations.c: (in function noancopy)
   5 maxsetnoannotations.c:4:1: Unresolved constraint:
   6     Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4
   7     :9 ) )  >=  MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy
   8     Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) )  >=  MAXREAD ((b @
   9     maxsetnoannotations.c:4:11 ) ) derived from strcpy precondition: Requires:
  10     : MAXSET ((<parameter 1> ) )  >=  MAXREAD ((<parameter 2> ) )
  11
  12 Finished LCLint checking --- 1 code error found