| 885824d3 |
1 | |
| 2 | modtest.c: (in function g) |
| 3 | modtest.lcl:15: Global x listed but not used |
| 4 | modtest.lcl:15: Global y listed but not used |
| 5 | modtest.c:9:12: Parameter a not used |
| 6 | modtest.c:9:22: Parameter p not used |
| 7 | modtest.c: (in function f) |
| 8 | modtest.c:16:3: Undocumented modification of i[3]: i[3] = y |
| 9 | modtest.c:17:3: Undocumented modification of j[2]: j[2] = x |
| 10 | modtest.c:22:3: Undocumented modification of y: y++ |
| 11 | modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6 |
| 12 | modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i) |
| 13 | modtest.c:26:3: Return value (type int) ignored: g(j, i) |
| 14 | |
| 11db3170 |
15 | Finished checking --- 10 code warnings, as expected |
| 885824d3 |
16 | |
| 17 | modtest.c: (in function g) |
| 18 | modtest.lcl:15: Global x listed but not used |
| 19 | modtest.lcl:15: Global y listed but not used |
| 20 | modtest.c:9:12: Parameter a not used |
| 21 | modtest.c:9:22: Parameter p not used |
| 22 | modtest.c: (in function f) |
| 23 | modtest.c:16:3: Undocumented modification of i[3]: i[3] = y |
| 24 | modtest.c:17:3: Undocumented modification of j[2]: j[2] = x |
| 25 | modtest.c:22:3: Undocumented modification of y: y++ |
| 26 | modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6 |
| 27 | modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i) |
| 28 | modtest.c:26:3: Return value (type int) ignored: g(j, i) |
| 29 | modtest.c: (in function h) |
| 30 | modtest.c:33:3: Undocumented modification of y: y++ |
| 31 | modtest.c:34:10: Undocumented modification of x possible from call to g: |
| 32 | g(a, &x) |
| 33 | modtest.c:34:10: Undocumented modification of y possible from call to g: |
| 34 | g(a, &x) |
| 35 | |
| 11db3170 |
36 | Finished checking --- 13 code warnings, as expected |
| 885824d3 |
37 | |
| 38 | modtest.c: (in function g) |
| 39 | modtest.lcl:15: Global x listed but not used |
| 40 | modtest.lcl:15: Global y listed but not used |
| 41 | modtest.c:12:1: Suspect object listed in modifies of g not modified: x |
| 42 | modtest.lcl:15: Specification of g |
| 43 | modtest.c:12:1: Suspect object listed in modifies of g not modified: y |
| 44 | modtest.lcl:15: Specification of g |
| 45 | modtest.c:9:12: Parameter a not used |
| 46 | modtest.c:9:22: Parameter p not used |
| 47 | modtest.c: (in function f) |
| 48 | modtest.c:16:3: Undocumented modification of i[3]: i[3] = y |
| 49 | modtest.c:17:3: Undocumented modification of j[2]: j[2] = x |
| 50 | modtest.c:22:3: Undocumented modification of y: y++ |
| 51 | modtest.c:25:3: Undocumented modification of tstp->b: tstp->b = 6 |
| 52 | modtest.c:26:3: Undocumented modification of y possible from call to g: g(j, i) |
| 53 | modtest.c:26:3: Return value (type int) ignored: g(j, i) |
| 54 | modtest.c:29:1: Suspect object listed in modifies of f not modified: ai[6] |
| 55 | modtest.lcl:8: Specification of f |
| 56 | modtest.c:29:1: Suspect object listed in modifies of f not modified: tstp->a |
| 57 | modtest.lcl:8: Specification of f |
| 58 | |
| 11db3170 |
59 | Finished checking --- 14 code warnings, as expected |
andersk / splint.git / blame