[splint.git] / test / fileio.expect


filerw.c: (in function f)
filerw.c:6:14: Invalid transfer from rw_write f2 to rw_read (Must reset file
                  between write and read.): fgetc(..., f2, ...)
   filerw.c:1:72: f2 becomes rw_write
filerw.c:8:22: Invalid transfer from rw_read f1 to rw_write (Must reset file
                  between read and write.): fputc(..., f1, ...)
   filerw.c:1:39: f1 becomes rw_read
filerw.c:12:14: Invalid transfer from rw_write f1 to rw_read (Must reset file
                   between write and read.): fgetc(..., f1, ...)
   filerw.c:10:22: f1 becomes rw_write

Finished LCLint checking --- 3 code errors found, as expected
Commit	Line	Data
60eced23	1
	2	filerw.c: (in function f)
	3	filerw.c:6:14: Invalid transfer from rw_write f2 to rw_read (Must reset file
0bf5022d	4	between write and read.): fgetc(..., f2, ...)
0bf5022d	5	filerw.c:1:72: f2 becomes rw_write
60eced23	6	filerw.c:8:22: Invalid transfer from rw_read f1 to rw_write (Must reset file
0bf5022d	7	between read and write.): fputc(..., f1, ...)
0bf5022d	8	filerw.c:1:39: f1 becomes rw_read
60eced23	9	filerw.c:12:14: Invalid transfer from rw_write f1 to rw_read (Must reset file
0bf5022d	10	between write and read.): fgetc(..., f1, ...)
0bf5022d	11	filerw.c:10:22: f1 becomes rw_write
60eced23	12
60eced23	13	Finished LCLint checking --- 3 code errors found, as expected