]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
11db3170 | 2 | Finished checking --- no warnings |
885824d3 | 3 | |
4 | alias.c: (in function f) | |
5 | alias.c:11:3: Possible undocumented modification of *a through alias *x: *x = 3 | |
6 | alias.c:14:3: Possible undocumented modification of *a through alias *y: *y = 4 | |
7 | alias.c:16:3: Undocumented modification of globp: globp = a | |
8 | alias.c:17:25: Function returns with global variable globp aliasing parameter a | |
9 | alias.c:21:7: Undocumented modification of globp: globp = z | |
10 | alias.c:21:15: Variable z used before definition | |
11 | alias.c:25:3: Undocumented modification of *globp: *globp = 4 | |
12 | alias.c:25:3: Possible undocumented modification of *a through alias *globp: | |
13 | *globp = 4 | |
14 | alias.c:28:3: Possible undocumented modification of *globp through alias *x: | |
15 | *x = 7 | |
16 | alias.c:28:3: Possible undocumented modification of *a through alias *x: *x = 7 | |
17 | alias.c:31:3: Possible undocumented modification of glob through alias *x: | |
18 | *x = 4 | |
19 | alias.c:38:3: Possible undocumented modification of **c through alias *x: | |
20 | *x = 4 | |
21 | alias.c:40:3: Possible undocumented modification of **c through alias *a: | |
22 | *a = 4 | |
23 | alias.c:41:3: Undocumented modification of *globp: *globp = 3 | |
24 | alias.c:41:3: Possible undocumented modification of *a through alias *globp: | |
25 | *globp = 3 | |
26 | alias.c:42:12: Function returns with global variable globp aliasing parameter a | |
27 | alias.c: (in function h) | |
28 | alias.c:49:3: Undocumented modification of a possible from call to mut_mod: | |
29 | mut_mod(a) | |
30 | alias.c:51:3: Undocumented modification of b possible from call to mut_mod | |
31 | (through alias a): mut_mod(a) | |
32 | alias.c:55:12: Owned storage b not released before return | |
33 | alias.c:52:3: Storage b becomes owned | |
34 | ||
11db3170 | 35 | Finished checking --- 19 code warnings, as expected |
885824d3 | 36 | |
37 | alias2.c: (in function f) | |
38 | alias2.c:17:3: Variable lx used before definition | |
39 | alias2.c:20:7: Possible undocumented modification of *a through alias *lx: | |
40 | *lx = 4 | |
41 | alias2.c:29:7: Possible undocumented modification of *a through alias *x: | |
42 | *x = 3 | |
43 | alias2.c:34:7: Possible undocumented modification of **c through alias *x: | |
44 | *x = 3 | |
45 | alias2.c:38:3: Possible undocumented modification of *a through alias *x: | |
46 | *x = 4 | |
47 | alias2.c:38:3: Possible undocumented modification of **c through alias *x: | |
48 | *x = 4 | |
49 | alias2.c:41:8: Undocumented modification of **c: **c = b | |
50 | alias2.c:43:7: Possible undocumented modification of glob through alias *y: | |
51 | *y = 3 | |
52 | alias2.c:43:7: Possible undocumented modification of *globp through alias *y: | |
53 | *y = 3 | |
54 | alias2.c:44:7: Undocumented modification of globp: globp = a | |
55 | alias2.c:53:3: Possible undocumented modification of glob through alias *a: | |
56 | *a = 3 | |
57 | alias2.c:53:3: Undocumented modification of *a: *a = 3 | |
58 | alias2.c:54:3: Possible undocumented modification of *globp through alias *z: | |
59 | *z = 6 | |
60 | alias2.c:54:3: Possible undocumented modification of *a through alias *z: | |
61 | *z = 6 | |
62 | alias2.c:55:3: Undocumented modification of *globp: *globp = 5 | |
63 | alias2.c:55:3: Possible undocumented modification of *a through alias *globp: | |
64 | *globp = 5 | |
65 | alias2.c:56:12: Function returns with global variable globp aliasing parameter | |
66 | a | |
67 | ||
11db3170 | 68 | Finished checking --- 17 code warnings, as expected |
885824d3 | 69 | |
70 | alias3.c: (in function model) | |
71 | alias3.c:16:3: Undocumented modification of gst.a: gst.a = 3 | |
72 | alias3.c:17:3: Undocumented modification of gu->a: gu->a = 5 | |
73 | alias3.c: (in function f) | |
74 | alias3.c:38:3: Possible undocumented modification of ia[3] through alias *ip: | |
75 | *ip = 7 | |
76 | alias3.c:42:3: Possible undocumented modification of ia[] through alias *ip: | |
77 | *ip = 8 | |
78 | alias3.c:44:3: Undocumented modification of ia[6] possible from call to model: | |
79 | model(ia) | |
80 | alias3.c:46:3: Undocumented modification of ia[6] possible from call to model | |
81 | (through alias ip[6]): model(ip) | |
82 | alias3.c:49:3: Undocumented modification of *(s1.b): *(s1.b) = 7 | |
83 | alias3.c:52:3: Undocumented modification of *(s1.b) possible from call to modst | |
84 | (through alias *(sl.b)): modst(sl) | |
85 | alias3.c:56:3: Undocumented modification of *(s1.b): *(s1.b) = 3 | |
86 | alias3.c:57:3: Possible undocumented modification of *(s1.b) through alias *ip: | |
87 | *ip = 6 | |
88 | alias3.c:58:3: Possible undocumented modification of *(s1.b) through alias | |
89 | *(sl.b): *(sl.b) = 3 | |
90 | alias3.c:61:3: Undocumented modification of *u1 possible from call to modu | |
91 | (through alias *ul): modu(ul) | |
92 | alias3.c:62:3: Possible undocumented modification of u1->a through alias ul->a: | |
93 | ul->a = 3 | |
94 | alias3.c:65:3: Possible undocumented modification of *(u1->s.b) through alias | |
95 | *(sl.b): *(sl.b) = 6 | |
96 | ||
11db3170 | 97 | Finished checking --- 14 code warnings, as expected |
885824d3 | 98 | |
11db3170 | 99 | Finished checking --- no warnings |
885824d3 | 100 | |
101 | alias4.c: (in function f) | |
102 | alias4.c:15:10: Function may return reference to parameter a through alias c: c | |
103 | alias4.c:15:10: Function may return reference to parameter b through alias c: c | |
104 | alias4.c: (in function h) | |
105 | alias4.c:26:12: Function returns reference to global glob: &glob | |
106 | alias4.c:28:12: Function returns reference to global globp: globp | |
107 | alias4.c:30:12: Function returns reference to global globs: (globs.field) | |
108 | alias4.c:32:12: Function returns reference to global globs: (&(globs.val)) | |
109 | ||
11db3170 | 110 | Finished checking --- 6 code warnings, as expected |
885824d3 | 111 | |
112 | alias5.c: (in function incx1) | |
113 | alias5.c:13:3: Possible undocumented modification of p->x through alias p2->x: | |
114 | p2->x++ | |
115 | alias5.c: (in function incx2) | |
116 | alias5.c:22:2: Fresh storage p2 not released before return | |
16c024b5 | 117 | alias5.c:20:3: Fresh storage p2 created |
885824d3 | 118 | alias5.c: (in function incx3) |
80ee600a | 119 | alias5.c:27:3: Only storage p2->x (type int *) not released before assignment: |
120 | p2->x = p->x | |
885824d3 | 121 | alias5.c:28:3: Possible undocumented modification of *(p->x) through alias |
122 | *(p2->x): *(p2->x) = 3 | |
123 | alias5.c:30:2: Storage p->x reachable from parameter is kept (should be only) | |
124 | alias5.c:27:3: Storage p->x becomes kept | |
125 | ||
11db3170 | 126 | Finished checking --- 5 code warnings, as expected |