]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | repexpose.c: (in function abst_create) | |
3 | repexpose.c:8:3: Arrow access from possibly null pointer a: a->name | |
4 | repexpose.c:5:12: Storage a may become null | |
5 | repexpose.c:13:3: Possible undocumented modification of p->parent through alias | |
6 | a->parent: a->parent = b->parent | |
7 | repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: | |
8 | a->name = *globstring | |
9 | repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: | |
10 | b->name = *globstring | |
11 | repexpose.c:16:3: Storage *globstring becomes kept | |
12 | repexpose.c:19:10: Storage a->name reachable from return value is kept (should | |
13 | be implicitly only) | |
14 | repexpose.c:17:3: Storage a->name becomes kept | |
15 | repexpose.c:19:10: Returned storage *a contains 1 undefined field: im | |
16 | repexpose.c:19:12: Storage *globstring reachable from global is kept (should be | |
17 | unqualified) | |
18 | repexpose.c:16:3: Storage *globstring becomes kept | |
19 | repexpose.c: (in function abst_name) | |
20 | repexpose.c:26:18: Released storage a->name reachable from parameter at return | |
21 | point | |
22 | repexpose.c:26:10: Storage a->name is released | |
23 | repexpose.c: (in function abst_parent) | |
24 | repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent | |
25 | repexpose.c:45:25: Only storage a not released before return | |
26 | repexpose.c:40:24: Storage a becomes only | |
27 | repexpose.c: (in function immut_name) | |
28 | repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) | |
29 | repexpose.c: (in function abst_setIm) | |
30 | repexpose.c:57:3: Undocumented modification of a->im: a->im = im | |
31 | ||
32 | Finished LCLint checking --- 12 code errors found, as expected | |
33 | ||
34 | repexpose.c: (in function abst_create) | |
35 | repexpose.c:8:3: Arrow access from possibly null pointer a: a->name | |
36 | repexpose.c:5:12: Storage a may become null | |
37 | repexpose.c:13:3: Possible undocumented modification of p->parent through alias | |
38 | a->parent: a->parent = b->parent | |
39 | repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: | |
40 | a->name = *globstring | |
41 | repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: | |
42 | b->name = *globstring | |
43 | repexpose.c:16:3: Storage *globstring becomes kept | |
44 | repexpose.c:19:10: Storage a->name reachable from return value is kept (should | |
45 | be implicitly only) | |
46 | repexpose.c:17:3: Storage a->name becomes kept | |
47 | repexpose.c:19:10: Returned storage *a contains 1 undefined field: im | |
48 | repexpose.c:19:12: Storage *globstring reachable from global is kept (should be | |
49 | unqualified) | |
50 | repexpose.c:16:3: Storage *globstring becomes kept | |
51 | repexpose.c: (in function abst_name) | |
52 | repexpose.c:26:10: Function returns reference to parameter a: a->name | |
53 | repexpose.c:26:18: Released storage a->name reachable from parameter at return | |
54 | point | |
55 | repexpose.c:26:10: Storage a->name is released | |
56 | repexpose.c: (in function abst_aval) | |
57 | repexpose.c:37:10: Function returns reference to parameter a: (&(a->val)) | |
58 | repexpose.c: (in function abst_parent) | |
59 | repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent | |
60 | repexpose.c:45:25: Only storage a not released before return | |
61 | repexpose.c:40:24: Storage a becomes only | |
62 | repexpose.c: (in function immut_name) | |
63 | repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) | |
64 | repexpose.c:51:10: Function returns reference to parameter im: (im->name) | |
65 | repexpose.c: (in function abst_setIm) | |
66 | repexpose.c:57:3: Undocumented modification of a->im: a->im = im | |
67 | ||
68 | Finished LCLint checking --- 15 code errors found, as expected | |
69 | ||
70 | repexpose.c: (in function abst_create) | |
71 | repexpose.c:8:3: Arrow access from possibly null pointer a: a->name | |
72 | repexpose.c:5:12: Storage a may become null | |
73 | repexpose.c:10:3: Assignment of mutable parameter p to component of abstract | |
74 | type abst exposes rep: a->parent = p | |
75 | repexpose.c:11:3: Assignment of mutable parameter p (through alias b) to | |
76 | component of abstract type abst exposes rep: a->parent = b | |
77 | repexpose.c:12:3: Assignment of mutable component of parameter p to component | |
78 | of abstract type abst exposes rep: a->parent = p->parent | |
79 | repexpose.c:13:3: Possible undocumented modification of p->parent through alias | |
80 | a->parent: a->parent = b->parent | |
81 | repexpose.c:13:3: Assignment of mutable component of parameter p (through alias | |
82 | b->parent) to component of abstract type abst exposes rep: | |
83 | a->parent = b->parent | |
84 | repexpose.c:16:3: Assignment of global globstring to component of abstract type | |
85 | abst exposes rep: a->name = *globstring | |
86 | repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only: | |
87 | a->name = *globstring | |
88 | repexpose.c:17:3: Assignment of global globstring to component of abstract type | |
89 | abst exposes rep: b->name = *globstring | |
90 | repexpose.c:17:3: Kept storage *globstring assigned to implicitly only: | |
91 | b->name = *globstring | |
92 | repexpose.c:16:3: Storage *globstring becomes kept | |
93 | repexpose.c:19:10: Storage a->name reachable from return value is kept (should | |
94 | be implicitly only) | |
95 | repexpose.c:17:3: Storage a->name becomes kept | |
96 | repexpose.c:19:10: Returned storage *a contains 1 undefined field: im | |
97 | repexpose.c:19:12: Storage *globstring reachable from global is kept (should be | |
98 | unqualified) | |
99 | repexpose.c:16:3: Storage *globstring becomes kept | |
100 | repexpose.c: (in function abst_name) | |
101 | repexpose.c:26:10: Function returns reference to parameter a: a->name | |
102 | repexpose.c:26:10: Return value exposes rep of abst: a->name | |
103 | repexpose.c:26:18: Released storage a->name reachable from parameter at return | |
104 | point | |
105 | repexpose.c:26:10: Storage a->name is released | |
106 | repexpose.c: (in function abst_aval) | |
107 | repexpose.c:37:10: Function returns reference to parameter a: (&(a->val)) | |
108 | repexpose.c:37:10: Return value exposes rep of abst: (&(a->val)) | |
109 | repexpose.c: (in function abst_parent) | |
110 | repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent | |
111 | repexpose.c:45:15: Return value exposes rep of abst: b->parent | |
112 | repexpose.c:45:15: Return value may expose rep of abst through alias a: | |
113 | b->parent | |
114 | repexpose.c:45:25: Only storage a not released before return | |
115 | repexpose.c:40:24: Storage a becomes only | |
116 | repexpose.c: (in function immut_name) | |
117 | repexpose.c:51:10: Only storage im->name returned as dependent: (im->name) | |
118 | repexpose.c:51:10: Function returns reference to parameter im: (im->name) | |
119 | repexpose.c:51:10: Return value exposes rep of immut: (im->name) | |
120 | repexpose.c: (in function abst_setIm) | |
121 | repexpose.c:57:3: Undocumented modification of a->im: a->im = im | |
122 | repexpose.lh:6:16: Variable globstring declared but not defined | |
123 | ||
124 | Finished LCLint checking --- 27 code errors found, as expected |