test/moduncon.expect

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