| 885824d3 |
1 | |
| 2 | Finished LCLint checking --- no code errors found |
| 3 | |
| 4 | Finished LCLint checking --- no code errors found |
| 5 | |
| 6 | duffs.c: (in function send) |
| 7 | duffs.c:7:8: Fall through case (no preceeding break) |
| 8 | duffs.c:8:8: Fall through case (no preceeding break) |
| 9 | duffs.c:9:8: Fall through case (no preceeding break) |
| 10 | duffs.c:10:8: Fall through case (no preceeding break) |
| 11 | duffs.c:11:8: Fall through case (no preceeding break) |
| 12 | duffs.c:12:8: Fall through case (no preceeding break) |
| 13 | duffs.c:13:8: Fall through case (no preceeding break) |
| 14 | |
| 15 | Finished LCLint checking --- 7 code errors found |
| 16 | |
| 17 | Finished LCLint checking --- no code errors found |
| 18 | |
| 19 | Finished LCLint checking --- no code errors found |
| 20 | |
| 21 | bug2.c: (in function main) |
| 22 | bug2.c:6:8: Fall through case (no preceeding break) |
| 23 | bug2.c:10:10: Fall through case (no preceeding break) |
| 24 | bug2.c:16:8: Fall through case (no preceeding break) |
| 25 | bug2.c:5:5: Statement after switch is not a case: printf("here 1") |
| 26 | bug2.c:20:2: Path with no return in function declared to return int |
| 27 | |
| 28 | Finished LCLint checking --- 5 code errors found, as expected |
| 29 | |
| 30 | bug3.c: (in function main) |
| 31 | bug3.c:8:8: Fall through case (no preceeding break) |
| 32 | bug3.c:12:21: Variable j used before definition |
| 33 | bug3.c:13:2: Path with no return in function declared to return int |
| 34 | |
| 35 | Finished LCLint checking --- 3 code errors found |
| 36 | |
| 37 | Finished LCLint checking --- no code errors found |
| 38 | |
| 39 | Finished LCLint checking --- no code errors found |
| 40 | |
| 41 | Finished LCLint checking --- no code errors found |
| 42 | |
| 43 | hexconstants.c: (in function f) |
| 44 | hexconstants.c:5:10: Return value type unsigned int does not match declared |
| 45 | type int: m1 + m2 |
| 46 | |
| 47 | Finished LCLint checking --- 1 code error found, as expected |
| 48 | Command Line: Setting mode checks after setting mode flags will override set |
| 49 | values of flags: exportlocal |
| 50 | |
| 51 | hexconstants.c: (in function f) |
| 52 | hexconstants.c:2:21: Variable m1 initialized to type int, expects unsigned int: |
| 53 | 0xFF |
| 54 | hexconstants.c:3:21: Variable m2 initialized to type int, expects unsigned int: |
| 55 | 0142 |
| 56 | hexconstants.c:5:10: Return value type unsigned int does not match declared |
| 57 | type int: m1 + m2 |
| 58 | hexconstants.c:1:5: Function f exported but not declared in header file |
| 59 | hexconstants.c:6:1: Definition of f |
| 60 | |
| 61 | Finished LCLint checking --- 4 code errors found, as expected |
| 62 | |
| 63 | innercomment.c:1:17: Start comment inside comment |
| 64 | innercomment.c:16:3: Start comment inside comment |
| 65 | Finished LCLint checking --- no code errors found |
| 66 | |
| 67 | Finished LCLint checking --- no code errors found |
| 68 | |
| 69 | offsetof.c: (in function f) |
| 70 | offsetof.c:10:3: Assignment of size_t to int: m = offsetof(S,u) |
| 71 | offsetof.c:12:26: Deep field k in offsetof is not the name of a field of struct |
| 72 | { int m; }: offsetof(S,u.s.k) |
| 73 | |
| 74 | Finished LCLint checking --- 2 code errors found, as expected |
| 75 | |
| 76 | Finished LCLint checking --- no code errors found |
| 77 | |
| 78 | Finished LCLint checking --- no code errors found |
| 79 | |
| 80 | Finished LCLint checking --- no code errors found |
| 81 | |
| 82 | error.c:5:9: Variable x initialized to type char, expects int: 'a' |
| 83 | |
| 84 | Finished LCLint checking --- 1 code error found, as expected |
| 85 | |
| 86 | ulrich.c: (in function utl_calloc) |
| 87 | ulrich.c:14:13: Possibly null storage newblock returned as non-null: newblock |
| 88 | ulrich.c:12:16: Storage newblock may become null |
| 89 | |
| 90 | Finished LCLint checking --- 1 code error found |
| 91 | |
| 92 | cpptest.c: (in function test) |
| 93 | cpptest.c:2:11: Variable x initialized to type char, expects int: 'a' |
| 94 | |
| 95 | Finished LCLint checking --- 1 code error found |
| 96 | |
| 97 | longlong.c: (in function llf) |
| 98 | longlong.c:2:11: Variable m initialized to type long long, expects int: llx |
| 99 | longlong.c:3:3: Assignment of long long to int: m = 243LL |
| 100 | longlong.c:6:3: Assignment of long long to long int: lx = 5234LL |
| 101 | longlong.c:9:3: Assignment of long long to long int: lx = llx |
| 102 | |
| 103 | Finished LCLint checking --- 4 code errors found, as expected |
| 104 | |
| 105 | Finished LCLint checking --- no code errors found |
| 106 | |
| 107 | Finished LCLint checking --- no code errors found |
| 108 | |
| 109 | Finished LCLint checking --- no code errors found |
| 110 | |
| 111 | alignof.c: (in function f) |
| 112 | alignof.c:2:23: Variable m initialized to type size_t, expects int: alignof(x) |
| 113 | alignof.c:3:23: Variable n initialized to type size_t, expects int: |
| 114 | alignof((x)) |
| 115 | |
| 116 | Finished LCLint checking --- 2 code errors found, as expected |
| 117 | |
| 118 | Spec file not found: DBL_MANT_DIG=25.lcl |
| 119 | Command Line: Malformed option `-D' |
| 120 | Cannot open file: DBL_MANT_DIG=25.c |
| 121 | Cannot open file: source.c |
| 122 | |
| 123 | Finished LCLint checking --- no code processed |
andersk / splint.git / blame