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
16 Finished checking --- 3 code warnings, as expected
18 file.c: (in function f)
19 file.c:14:5: Control branches merge with incompatible states for fout (closed
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
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
29 Finished checking --- 3 code warnings, as expected
31 Finished checking --- no warnings