home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / macrosef.expect < prev    next >
Text File  |  2002-02-13  |  2KB  |  35 lines
  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
  35.