test/moduncon.out

   1
   2 Cannot find standard library: ansi.lcd
   3      Check LARCH_PATH environment variable.
   4 moduncon.c: (in function g)
   5 moduncon.c:12:10: Undetected modification possible from call to unconstrained
   6                      function umod: umod
   7 moduncon.c:13:22: Undetected modification possible from call to unconstrained
   8                      function umod: umod
   9 moduncon.c:13:16: Undetected modification possible from call to unconstrained
  10                      function mmod: mmod
  11 moduncon.c:13:10: Undetected modification possible from call to unconstrained
  12                      function umod: umod
  13
  14 Finished LCLint checking --- 4 code errors found, as expected
  15
  16 Cannot find standard library: ansi.lcd
  17      Check LARCH_PATH environment variable.
  18 moduncon.c: (in function f)
  19 moduncon.c:6:22: Undetected modification possible from call to unconstrained
  20                     function umod: umod
  21 moduncon.c:6:22: New fresh storage (type int *) passed as implicitly temp (not
  22                     released): umod(x)
  23 moduncon.c:6:16: Undetected modification possible from call to unconstrained
  24                     function mmod: mmod
  25 moduncon.c:6:16: New fresh storage (type int *) passed as implicitly temp (not
  26                     released): mmod(umod(x))
  27 moduncon.c:6:10: Undetected modification possible from call to unconstrained
  28                     function umod: umod
  29 moduncon.c:6:3: Statement has no effect (possible undected modification through
  30     call to unconstrained functions umod, mmod): (void)umod(mmod(...
  31 moduncon.c: (in function g)
  32 moduncon.c:12:10: Undetected modification possible from call to unconstrained
  33                      function umod: umod
  34 moduncon.c:12:3: Statement has no effect (possible undected modification
  35                     through call to unconstrained function umod): (void)umod(x)
  36 moduncon.c:13:22: Undetected modification possible from call to unconstrained
  37                      function umod: umod
  38 moduncon.c:13:22: New fresh storage (type int *) passed as implicitly temp (not
  39                      released): umod(x)
  40 moduncon.c:13:16: Undetected modification possible from call to unconstrained
  41                      function mmod: mmod
  42 moduncon.c:13:16: New fresh storage (type int *) passed as implicitly temp (not
  43                      released): mmod(umod(x))
  44 moduncon.c:13:10: Undetected modification possible from call to unconstrained
  45                      function umod: umod
  46 moduncon.c:13:3: Statement has no effect (possible undected modification
  47     through call to unconstrained functions umod, mmod): (void)umod(mmod(...
  48 moduncon.c:1:6: Function mmod declared but not defined
  49 moduncon.c:2:6: Function umod declared but not defined
  50 moduncon.c:4:5: Function f declared but not used
  51    moduncon.c:8:1: Definition of f
  52 moduncon.c:10:5: Function g declared but not used
  53    moduncon.c:15:1: Definition of g
  54 moduncon.c:1:6: Function mmod exported but not declared in header file
  55 moduncon.c:2:6: Function umod exported but not declared in header file
  56 moduncon.c:4:5: Function f exported but not declared in header file
  57    moduncon.c:8:1: Definition of f
  58 moduncon.c:10:5: Function g exported but not declared in header file
  59    moduncon.c:15:1: Definition of g
  60
  61 Finished LCLint checking --- 22 code errors found, as expected