]>
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 | |
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 |