]> andersk Git - splint.git/blob - test/fileio.expect
1daf1faa492be1408217880cce484fb7cb38a35d
[splint.git] / 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.): f2
5    filerw.c:1:72: Meta state f2 becomes rw_write
6 filerw.c:8:22: Invalid transfer from rw_read f1 to rw_write (Must reset file
7                   between read and write.): f1
8    filerw.c:1:39: Meta state f1 becomes rw_read
9 filerw.c:12:14: Invalid transfer from rw_write f1 to rw_read (Must reset file
10                    between write and read.): f1
11    filerw.c:10:22: Meta state f1 becomes rw_write
12
13 Finished LCLint checking --- 3 code errors found, as expected
This page took 0.026117 seconds and 3 git commands to generate.