| 885824d3 |
1 | |
| 2 | ulstypes.c:3:23: Contradictory long and short type qualifiers |
| 3 | ulstypes.c: (in function f) |
| 4 | ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li |
| 5 | ulstypes.c:10:3: Assignment of long int to int: loc = f(li) |
| 6 | ulstypes.c:11:3: Assignment of long int to int: loc = f(ui) |
| 7 | ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc |
| 8 | ulstypes.c:12:3: Assignment of long int to int: loc = f(loc) |
| 9 | ulstypes.c:15:10: Return value type unsigned int does not match declared type |
| 10 | long int: x |
| 11 | ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int: |
| 12 | -15 |
| 13 | |
| 11db3170 |
14 | Finished checking --- 8 code warnings, as expected |
| 885824d3 |
15 | |
| 11db3170 |
16 | Finished checking --- no warnings |
| 885824d3 |
17 | |
| 18 | ulstypes.c:3:23: Contradictory long and short type qualifiers |
| 19 | ulstypes.c: (in function f) |
| 20 | ulstypes.c:7:19: Variable loli initialized to type int, expects long int: 12 |
| 21 | ulstypes.c:10:12: Undocumented use of global li |
| 22 | ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li |
| 23 | ulstypes.c:10:9: Undetected modification possible from call to unconstrained |
| 24 | function f: f |
| 25 | ulstypes.c:10:3: Assignment of long int to int: loc = f(li) |
| 26 | ulstypes.c:11:12: Undocumented use of global ui |
| 27 | ulstypes.c:11:9: Undetected modification possible from call to unconstrained |
| 28 | function f: f |
| 29 | ulstypes.c:11:3: Assignment of long int to int: loc = f(ui) |
| 30 | ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc |
| 31 | ulstypes.c:12:9: Undetected modification possible from call to unconstrained |
| 32 | function f: f |
| 33 | ulstypes.c:12:3: Assignment of long int to int: loc = f(loc) |
| 34 | ulstypes.c:14:3: Assignment of int to long int: loli = loc |
| 35 | ulstypes.c:15:10: Return value type unsigned int does not match declared type |
| 36 | long int: x |
| 37 | ulstypes.c:19:19: Variable x2 initialized to type int, expects unsigned int: 23 |
| 38 | ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int: |
| 39 | -15 |
| 40 | ulstypes.c:24:16: Variable x7 initialized to type int, expects short int: 14 |
| 41 | ulstypes.c:3:21: Variable si declared but not used |
| 42 | ulstypes.c:18:14: Variable x1 declared but not used |
| 43 | ulstypes.c:19:14: Variable x2 declared but not used |
| 44 | ulstypes.c:20:14: Variable x3 declared but not used |
| 45 | ulstypes.c:21:14: Variable x4 declared but not used |
| 46 | ulstypes.c:22:10: Variable x5 declared but not used |
| 47 | ulstypes.c:23:10: Variable x6 declared but not used |
| 48 | ulstypes.c:24:11: Variable x7 declared but not used |
| 49 | ulstypes.c:1:14: Variable exported but not used outside ulstypes: ui |
| 50 | ulstypes.c:2:10: Variable exported but not used outside ulstypes: li |
| 51 | ulstypes.c:5:10: Function exported but not used outside ulstypes: f |
| 52 | ulstypes.c:16:1: Definition of f |
| 53 | |
| 11db3170 |
54 | Finished checking --- 28 code warnings, as expected |
andersk / splint.git / blame