test/impabstract.out

   1 gmake[3]: Entering directory `/tmp/LCLintDev/test'
   2
   3 Cannot find standard library: ansi.lcd
   4      Check LARCH_PATH environment variable.
   5
   6 Finished LCLint checking --- no code errors found
   7
   8 Cannot find standard library: ansi.lcd
   9      Check LARCH_PATH environment variable.
  10 impabstract.c: (in function f)
  11 impabstract.c:11:7: Left operand of < is abstract type (mint): m < 2
  12   An abstraction barrier is broken. If necessary, use /*@access <type>@*/ to
  13   allow access to an abstract type. (-abstract will suppress message)
  14 impabstract.c:13:14: Return value type mint does not match declared type int: m
  15   Underlying types match, but mint is an abstract type that is not accessible
  16   here.
  17
  18 Finished LCLint checking --- 2 code errors found, as expected
  19
  20 Cannot find standard library: ansi.lcd
  21      Check LARCH_PATH environment variable.
  22 Continuing without LCL init file: lclinit.lci
  23 Continuing without LSL init file: lslinit.lsi
  24 Unable to find CTrait.syms or CTrait.lsl.  Check LARCH_PATH environment
  25 variable.
  26 gmake[3]: *** [impabstract] Error 1
  27 gmake[3]: Leaving directory `/tmp/LCLintDev/test'