| | 1 | |
| | 2 | flags.c:1:9: Variable x initialized to type char, expects int: 'c' |
| | 3 | flags.c:5:9: Variable y |
| | 4 | initialized to type |
| | 5 | char, expects int: |
| | 6 | 'c' |
| | 7 | flags.c:7:18: Value for |
| | 8 | linelen must be at |
| | 9 | least 20 (given 13) |
| | 10 | flags.c:11:5: |
| | 11 | Internal identifier |
| | 12 | xx2 is not |
| | 13 | distinguishable |
| | 14 | from xx1 in the |
| | 15 | first 2 characters |
| | 16 | (xx) |
| | 17 | flags.c:10:5: |
| | 18 | Declaration of |
| | 19 | xx1 |
| | 20 | flags.c:13:4: |
| | 21 | Semantic comment |
| | 22 | attempts to restore |
| | 23 | flag linelen. A |
| | 24 | flag for setting a |
| | 25 | value cannot be |
| | 26 | restored. |
| | 27 | flags.c:15:4: Semantic comment attempts to set global flag dump. A |
| | 28 | global flag cannot be set locally. |
| | 29 | flags.c:16:22: Flag macrovarprefix (in semantic comment) must be |
| | 30 | followed by an argument |
| | 31 | flags.c:17:26: Flag macrovarprefix (in semantic comment) must be |
| | 32 | followed by an argument |
| | 33 | flags.c:18:20: Flag linelen must be followed by a positive number |
| | 34 | number. Followed by asdf |
| | 35 | |
| | 36 | Finished checking --- 8 code warnings, as expected |
| | 37 | |
| | 38 | flags.c:1:9: Variable x initialized to type char, expects int: 'c' |
| | 39 | flags.c:5:9: Variable y initialized to type char, expects int: 'c' |
| | 40 | |
| | 41 | Finished checking --- 2 code warnings, as expected |
andersk / splint.git / blame_incremental