| 885824d3 |
1 | |
| 2 | libs.c: (in function compare2) |
| 3 | libs.c:14:10: Observer storage returned without qualification: "ok" |
| 4 | libs.c:14:10: Storage becomes observer |
| 5 | libs.c: (in function leave) |
| 6 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" |
| 7 | libs.c:21:3: Unreachable code: exit(i) |
| 8 | libs.c: (in function print) |
| 80ee600a |
9 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
| 10 | s |
| 11 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: |
| 12 | s |
| 13 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: |
| 14 | s |
| 885824d3 |
15 | libs.c:33:3: Assignment of int to char: c = fgetc(f) |
| 16 | libs.c:34:3: Assignment of int to char: c = getc(f) |
| 17 | libs.c: (in function main) |
| 18 | libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, |
| 19 | int) returns int]: compare |
| 20 | libs.c:46:10: Function bsearch called with 4 args, expects 5 |
| 21 | libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) |
| 22 | returns int] * gets [function () returns char] *: |
| 23 | ([function () returns char] *)compare2 |
| 24 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... |
| 25 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x |
| 26 | libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) |
| 27 | returns int] * gets [function () returns char] *: |
| 28 | ([function () returns char] *)compare2 |
| 29 | libs.c:54:11: Unrecognized identifier: SIGHUP |
| 30 | libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] |
| 31 | * gets [function (int, int) returns int]: compare |
| 32 | libs.c:54:3: Return value (type [function (int) returns void]) ignored: |
| 33 | signal(SIGHUP, c... |
| 34 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: |
| 35 | signal(SIGHUP, l... |
| 36 | |
| 11db3170 |
37 | Finished checking --- 18 code warnings, as expected |
| 885824d3 |
38 | |
| 39 | libs.c: (in function compare2) |
| 40 | libs.c:14:10: Observer storage returned without qualification: "ok" |
| 41 | libs.c:14:10: Storage becomes observer |
| 42 | libs.c: (in function leave) |
| 43 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" |
| 44 | libs.c:21:3: Unreachable code: exit(i) |
| 45 | libs.c: (in function print) |
| 80ee600a |
46 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
| 47 | s |
| 48 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: |
| 49 | s |
| 50 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: |
| 51 | s |
| 885824d3 |
52 | libs.c:33:3: Assignment of int to char: c = fgetc(f) |
| 53 | libs.c:34:3: Assignment of int to char: c = getc(f) |
| 54 | libs.c: (in function main) |
| 55 | libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, |
| 56 | int) returns int]: compare |
| 57 | libs.c:46:10: Function bsearch called with 4 args, expects 5 |
| 58 | libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) |
| 59 | returns int] * gets [function () returns char] *: |
| 60 | ([function () returns char] *)compare2 |
| 61 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... |
| 62 | libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x |
| 63 | libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x |
| 64 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x |
| 65 | libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x |
| 66 | libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x |
| 67 | libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) |
| 68 | returns int] * gets [function () returns char] *: |
| 69 | ([function () returns char] *)compare2 |
| 70 | libs.c:54:11: Unrecognized identifier: SIGHUP |
| 71 | libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] |
| 72 | * gets [function (int, int) returns int]: compare |
| 73 | libs.c:54:3: Return value (type [function (int) returns void]) ignored: |
| 74 | signal(SIGHUP, c... |
| 75 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: |
| 76 | signal(SIGHUP, l... |
| 77 | |
| 11db3170 |
78 | Finished checking --- 22 code warnings, as expected |
| 885824d3 |
79 | |
| 80 | libs.c: (in function compare2) |
| 81 | libs.c:14:10: Observer storage returned without qualification: "ok" |
| 82 | libs.c:14:10: Storage becomes observer |
| 83 | libs.c: (in function leave) |
| 84 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" |
| 85 | libs.c:21:3: Unreachable code: exit(i) |
| 86 | libs.c: (in function print) |
| 80ee600a |
87 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
| 88 | s |
| 885824d3 |
89 | libs.c:29:3: Undocumented modification of *f possible from call to fprintf: |
| 90 | fprintf(f, s) |
| 80ee600a |
91 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: |
| 92 | s |
| 93 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: |
| 94 | s |
| 885824d3 |
95 | libs.c:33:7: Undocumented modification of *f possible from call to fgetc: |
| 96 | fgetc(f) |
| 97 | libs.c:33:3: Assignment of int to char: c = fgetc(f) |
| 98 | libs.c:34:7: Undocumented modification of *f possible from call to getc: |
| 99 | getc(f) |
| 100 | libs.c:34:3: Assignment of int to char: c = getc(f) |
| 101 | libs.c: (in function main) |
| 102 | libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, |
| 103 | int) returns int]: compare |
| 104 | libs.c:46:10: Function bsearch called with 4 args, expects 5 |
| 105 | libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) |
| 106 | returns int] * gets [function () returns char] *: |
| 107 | ([function () returns char] *)compare2 |
| 108 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... |
| 109 | libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x |
| 110 | libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x |
| 111 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x |
| 112 | libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x |
| 113 | libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x |
| 114 | libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) |
| 115 | returns int] * gets [function () returns char] *: |
| 116 | ([function () returns char] *)compare2 |
| 117 | libs.c:54:11: Unrecognized identifier: SIGHUP |
| 118 | libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] |
| 119 | * gets [function (int, int) returns int]: compare |
| 120 | libs.c:54:3: Return value (type [function (int) returns void]) ignored: |
| 121 | signal(SIGHUP, c... |
| 122 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: |
| 123 | signal(SIGHUP, l... |
| 124 | |
| 11db3170 |
125 | Finished checking --- 25 code warnings, as expected |
| 885824d3 |
126 | |
| 127 | libs.c: (in function compare2) |
| 128 | libs.c:14:10: Observer storage returned without qualification: "ok" |
| 129 | libs.c:14:10: Storage becomes observer |
| 130 | libs.c: (in function leave) |
| 131 | libs.c:20:9: Function exit expects arg 1 to be int gets char *: "hullo" |
| 132 | libs.c:21:3: Unreachable code: exit(i) |
| 133 | libs.c: (in function print) |
| 80ee600a |
134 | libs.c:29:3: Format string parameter to fprintf is not a compile-time constant: |
| 135 | s |
| 885824d3 |
136 | libs.c:29:3: Undocumented modification of *f possible from call to fprintf: |
| 137 | fprintf(f, s) |
| 138 | libs.c:29:3: Return value (type int) ignored: fprintf(f, s) |
| 80ee600a |
139 | libs.c:30:3: Format string parameter to printf is not a compile-time constant: |
| 140 | s |
| 885824d3 |
141 | libs.c:30:3: Called procedure printf may access global stdout |
| 142 | libs.c:30:3: Undocumented modification of *stdout possible from call to printf: |
| 143 | printf(s) |
| 144 | libs.c:30:3: Return value (type int) ignored: printf(s) |
| 145 | libs.c:31:12: Undocumented use of global stderr |
| 80ee600a |
146 | libs.c:31:3: Format string parameter to fprintf is not a compile-time constant: |
| 147 | s |
| 885824d3 |
148 | libs.c:31:3: Undocumented modification of *stderr possible from call to |
| 149 | fprintf: fprintf(stderr, s) |
| 150 | libs.c:31:3: Return value (type int) ignored: fprintf(stderr, s) |
| 151 | libs.c:33:7: Called procedure fgetc may access global errno |
| 152 | libs.c:33:7: Undocumented modification of *f possible from call to fgetc: |
| 153 | fgetc(f) |
| 154 | libs.c:33:7: Undocumented modification of errno possible from call to fgetc: |
| 155 | fgetc(f) |
| 156 | libs.c:33:3: Assignment of int to char: c = fgetc(f) |
| f9264521 |
157 | libs.c:34:7: Called procedure getc may access global errno |
| 885824d3 |
158 | libs.c:34:7: Undocumented modification of *f possible from call to getc: |
| 159 | getc(f) |
| f9264521 |
160 | libs.c:34:7: Undocumented modification of errno possible from call to getc: |
| 161 | getc(f) |
| 885824d3 |
162 | libs.c:34:3: Assignment of int to char: c = getc(f) |
| 163 | libs.c: (in function main) |
| 164 | libs.c:46:44: Function bsearch expects arg 4 to be size_t gets [function (int, |
| 165 | int) returns int]: compare |
| 166 | libs.c:46:10: Function bsearch called with 4 args, expects 5 |
| 167 | libs.c:48:50: Function bsearch expects arg 5 to be [function (void *, void *) |
| 168 | returns int] * gets [function () returns char] *: |
| 169 | ([function () returns char] *)compare2 |
| 170 | libs.c:48:3: Return value (type void *) ignored: bsearch(NULL, NU... |
| 171 | libs.c:51:16: Function qsort expects arg 2 to be size_t gets unsigned int: x |
| 172 | libs.c:51:19: Function qsort expects arg 3 to be size_t gets unsigned int: x |
| 173 | libs.c:51:3: Called procedure qsort may access global errno |
| 174 | libs.c:51:3: Undocumented modification of errno possible from call to qsort: |
| 175 | qsort(NULL, x, x, ([function () returns int] *)compare) |
| 176 | libs.c:52:10: Function qsort expects arg 1 to be void * gets unsigned int: x |
| 177 | libs.c:52:13: Function qsort expects arg 2 to be size_t gets unsigned int: x |
| 178 | libs.c:52:16: Function qsort expects arg 3 to be size_t gets unsigned int: x |
| 179 | libs.c:52:19: Function qsort expects arg 4 to be [function (void *, void *) |
| 180 | returns int] * gets [function () returns char] *: |
| 181 | ([function () returns char] *)compare2 |
| 182 | libs.c:52:3: Called procedure qsort may access global errno |
| 183 | libs.c:52:3: Undocumented modification of errno possible from call to qsort: |
| 184 | qsort(x, x, x, ([function () returns char] *)compare2) |
| 185 | libs.c:54:11: Unrecognized identifier: SIGHUP |
| 186 | libs.c:54:19: Function signal expects arg 2 to be [function (int) returns void] |
| 187 | * gets [function (int, int) returns int]: compare |
| 188 | libs.c:54:3: Called procedure signal may access global errno |
| 189 | libs.c:54:3: Undocumented modification of errno possible from call to signal: |
| 190 | signal(SIGHUP, compare) |
| 191 | libs.c:54:3: Return value (type [function (int) returns void]) ignored: |
| 192 | signal(SIGHUP, c... |
| 193 | libs.c:55:3: Called procedure signal may access global errno |
| 194 | libs.c:55:3: Undocumented modification of errno possible from call to signal: |
| 195 | signal(SIGHUP, leave) |
| 196 | libs.c:55:3: Return value (type [function (int) returns void]) ignored: |
| 197 | signal(SIGHUP, l... |
| 198 | |
| f9264521 |
199 | Finished checking --- 44 code warnings, as expected |
andersk / splint.git / blame