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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
repexpose.c: (in function abst_create)
repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
repexpose.c:5:12: Storage a may become null
repexpose.c:13:3: Possible undocumented modification of p->parent through alias
a->parent: a->parent = b->parent
repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
a->name = *globstring
repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
b->name = *globstring
repexpose.c:16:3: Storage *globstring becomes kept
repexpose.c:19:10: Storage a->name reachable from return value is kept (should
be implicitly only)
repexpose.c:17:3: Storage a->name becomes kept
repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
unqualified)
repexpose.c:16:3: Storage *globstring becomes kept
repexpose.c: (in function abst_name)
repexpose.c:26:18: Released storage a->name reachable from parameter at return
point
repexpose.c:26:10: Storage a->name released
repexpose.c: (in function abst_parent)
repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
repexpose.c:45:25: Only storage a not released before return
repexpose.c:40:24: Storage a becomes only
repexpose.c: (in function immut_name)
repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
repexpose.c: (in function abst_setIm)
repexpose.c:57:3: Undocumented modification of a->im: a->im = im
Finished checking --- 12 code warnings, as expected
repexpose.c: (in function abst_create)
repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
repexpose.c:5:12: Storage a may become null
repexpose.c:13:3: Possible undocumented modification of p->parent through alias
a->parent: a->parent = b->parent
repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
a->name = *globstring
repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
b->name = *globstring
repexpose.c:16:3: Storage *globstring becomes kept
repexpose.c:19:10: Storage a->name reachable from return value is kept (should
be implicitly only)
repexpose.c:17:3: Storage a->name becomes kept
repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
unqualified)
repexpose.c:16:3: Storage *globstring becomes kept
repexpose.c: (in function abst_name)
repexpose.c:26:10: Function returns reference to parameter a: a->name
repexpose.c:26:18: Released storage a->name reachable from parameter at return
point
repexpose.c:26:10: Storage a->name released
repexpose.c: (in function abst_aval)
repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
repexpose.c: (in function abst_parent)
repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
repexpose.c:45:25: Only storage a not released before return
repexpose.c:40:24: Storage a becomes only
repexpose.c: (in function immut_name)
repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
repexpose.c:51:10: Function returns reference to parameter im: (im->name)
repexpose.c: (in function abst_setIm)
repexpose.c:57:3: Undocumented modification of a->im: a->im = im
Finished checking --- 15 code warnings, as expected
repexpose.c: (in function abst_create)
repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
repexpose.c:5:12: Storage a may become null
repexpose.c:10:3: Assignment of mutable parameter p to component of abstract
type abst exposes rep: a->parent = p
repexpose.c:11:3: Assignment of mutable parameter p (through alias b) to
component of abstract type abst exposes rep: a->parent = b
repexpose.c:12:3: Assignment of mutable component of parameter p to component
of abstract type abst exposes rep: a->parent = p->parent
repexpose.c:13:3: Possible undocumented modification of p->parent through alias
a->parent: a->parent = b->parent
repexpose.c:13:3: Assignment of mutable component of parameter p (through alias
b->parent) to component of abstract type abst exposes rep:
a->parent = b->parent
repexpose.c:16:3: Assignment of global globstring to component of abstract type
abst exposes rep: a->name = *globstring
repexpose.c:16:3: Unqualified storage *globstring assigned to implicitly only:
a->name = *globstring
repexpose.c:17:3: Assignment of global globstring to component of abstract type
abst exposes rep: b->name = *globstring
repexpose.c:17:3: Kept storage *globstring assigned to implicitly only:
b->name = *globstring
repexpose.c:16:3: Storage *globstring becomes kept
repexpose.c:19:10: Storage a->name reachable from return value is kept (should
be implicitly only)
repexpose.c:17:3: Storage a->name becomes kept
repexpose.c:19:10: Returned storage *a contains 1 undefined field: im
repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
unqualified)
repexpose.c:16:3: Storage *globstring becomes kept
repexpose.c: (in function abst_name)
repexpose.c:26:10: Function returns reference to parameter a: a->name
repexpose.c:26:10: Return value exposes rep of abst: a->name
repexpose.c:26:18: Released storage a->name reachable from parameter at return
point
repexpose.c:26:10: Storage a->name released
repexpose.c: (in function abst_aval)
repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
repexpose.c:37:10: Return value exposes rep of abst: (&(a->val))
repexpose.c: (in function abst_parent)
repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
repexpose.c:45:15: Return value exposes rep of abst: b->parent
repexpose.c:45:15: Return value may expose rep of abst through alias a:
b->parent
repexpose.c:45:25: Only storage a not released before return
repexpose.c:40:24: Storage a becomes only
repexpose.c: (in function immut_name)
repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
repexpose.c:51:10: Function returns reference to parameter im: (im->name)
repexpose.c:51:10: Return value exposes rep of immut: (im->name)
repexpose.c: (in function abst_setIm)
repexpose.c:57:3: Undocumented modification of a->im: a->im = im
repexpose.lh:5:16: Variable globstring declared but not defined
Finished checking --- 27 code warnings, as expected
|
