andersk Git - splint.git/blame_incremental

... / ...

Commit	Line	Data
	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