test/strchr.out

   1
   2 Cannot find standard library: ansi.lcd
   3      Check LARCH_PATH environment variable.
   4 strchr.c: (in function func)
   5 strchr.c:5:7: Unrecognized identifier: strchr
   6 strchr.c:6:3: Possible out-of-bounds store:
   7     Unable to resolve constraint:
   8     requires maxSet(strchr("dfdfedfd", 'e') @ strchr.c:5:7) >= 0
   9      needed to satisfy precondition:
  10     requires maxSet(c @ strchr.c:6:4) >= 0
  11 strchr.c: (in function fixline)
  12 strchr.c:15:5: Possible out-of-bounds store:
  13     Unable to resolve constraint:
  14     requires maxSet(strchr(line, '\n') @ strchr.c:13:13) >= 0
  15      needed to satisfy precondition:
  16     requires maxSet(p @ strchr.c:15:6) >= 0
  17
  18 Finished LCLint checking --- 3 code errors found, expected 2