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