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