test/macrosef.expect

   1
   2 macrosef.c: (in macro f)
   3 macrosef.c:2:14: Macro parameter y used more than once
   4 macrosef.c: (in function m)
   5 macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
   6                      file system state: (printf("yo\n"), 3)
   7 macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
   8                      *stdout: (printf("yo\n"), 3)
   9 macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument may modify
  10                      *p: g(p)
  11
  12 Finished checking --- 4 code warnings, as expected
  13
  14 macrosef.c: (in macro f)
  15 macrosef.c:2:14: Macro parameter y used more than once
  16 macrosef.c: (in function m)
  17 macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
  18                      file system state: (printf("yo\n"), 3)
  19 macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
  20                      *stdout: (printf("yo\n"), 3)
  21
  22 Finished checking --- 3 code warnings, as expected
  23
  24 macrosef.c: (in macro f)
  25 macrosef.c:2:14: Macro parameter y used more than once
  26 macrosef.c: (in function m)
  27 macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
  28                      file system state: (printf("yo\n"), 3)
  29 macrosef.c:12:14: Parameter 1 to f is declared sef, but the argument may modify
  30                      *stdout: (printf("yo\n"), 3)
  31 macrosef.c:14:14: Parameter 1 to f is declared sef, but the argument calls
  32     unconstrained function g (no guarantee it will not modify something): g(p)
  33
  34 Finished checking --- 4 code warnings, as expected