| 885824d3 |
1 | |
| 80ee600a |
2 | unused.c:13:6: Name _inner is in the implementation name space (any identifier |
| 3 | beginning with underscore) |
| 4 | unused.c:14:2: Name _st is in the implementation name space (any identifier |
| 5 | beginning with underscore) |
| 885824d3 |
6 | unused.c:19:12: File static function f declared but not used |
| 7 | unused.c:22:1: Definition of f |
| 8 | unused.c:16:12: Function undef declared but not defined |
| 9 | unused.c:16:12: Function undef exported but not declared in header file |
| 10 | |
| 11db3170 |
11 | Finished checking --- 5 code warnings, as expected |
| 885824d3 |
12 | |
| 80ee600a |
13 | unused.c:13:6: Name _inner is in the implementation name space (any identifier |
| 14 | beginning with underscore) |
| 15 | unused.c:14:2: Name _st is in the implementation name space (any identifier |
| 16 | beginning with underscore) |
| 885824d3 |
17 | unused.c:19:12: File static function f declared but not used |
| 18 | unused.c:22:1: Definition of f |
| 19 | unused.c:16:12: Function undef declared but not defined |
| 20 | unused.c:1:14: Type dumbtype declared but not used |
| 21 | unused.c:12:11: Field silly of structure struct _inner declared but not used |
| 22 | unused.c:7:7: Field dumb of structure struct _st declared but not used |
| 23 | unused.c:16:12: Function undef exported but not declared in header file |
| 24 | |
| 11db3170 |
25 | Finished checking --- 8 code warnings, as expected |
andersk / splint.git / blame