test/fileio.expect

   1
   2 filerw.c: (in function f)
   3 filerw.c:6:14: Invalid transfer from rw_write f2 to rw_read (Must reset file
   4                   between write and read.): fgetc(..., f2, ...)
   5    filerw.c:1:72: f2 becomes rw_write
   6    filerw.xh:3:38: f1 becomes rw_read
   7 filerw.c:8:22: Invalid transfer from rw_read f1 to rw_write (Must reset file
   8                   between read and write.): fputc(..., f1, ...)
   9    filerw.c:1:39: f1 becomes rw_read
  10    filerw.xh:4:44: f1 becomes rw_write
  11 filerw.c:12:14: Invalid transfer from rw_write f1 to rw_read (Must reset file
  12                    between write and read.): fgetc(..., f1, ...)
  13    filerw.c:10:22: f1 becomes rw_write
  14    filerw.xh:3:38: f1 becomes rw_read
  15
  16 Finished checking --- 3 code warnings, as expected
  17
  18 file.c: (in function f)
  19 file.c:14:5: Control branches merge with incompatible states for fout (closed
  20                 and open)
  21    file.c:3:27: fout becomes implicitly open
  22    file.c:13:14: fout becomes closed
  23 file.c:23:5: Control branches merge with incompatible states for fin (closed
  24                 and open)
  25    file.c:3:16: fin becomes implicitly open
  26    file.c:22:14: fin becomes closed
  27 file.c:25:10: Variable res used before definition
  28
  29 Finished checking --- 3 code warnings, as expected
  30
  31 Finished checking --- no warnings