test/modifies.expect

   1
   2 modifies.c:7:29: Modifies list uses internalState which is a variable and has
   3     special meaning in a modifies list.  (Special meaning assumed.)
   4    modifies.c:4:25: Declaration of internalState
   5 modifies.c:13:26: Modifies list uses fileSystem which is a parameter and has
   6     special meaning in a modifies list.  (Special meaning assumed.)
   7 modifies.c:17:5: Globals list for f6 includes internal state, mstat, but
   8                     previously declared without globals internalState.
   9    modifies.c:15:5: Declaration of f6
  10 modifies.c:17:5: Modifies list for f6 includes internal state, but previously
  11                     declared without modifies internal.
  12    modifies.c:15:5: Declaration of f6
  13 modifies.c: (in function f1)
  14 modifies.c:24:3: Undocumented modification of mstat: mstat++
  15 modifies.c: (in function g2)
  16 modifies.c:37:1: Function g2 specified to modify internal state but no internal
  17                     state is modified
  18    modifies.h:3:12: Declaration of g2
  19 modclient.c: (in function mod)
  20 modclient.c:3:3: Statement has no effect: (void)f1(p)
  21
  22 Finished checking --- 7 code warnings, as expected