]>
Commit | Line | Data |
---|---|---|
1 | ||
2 | observer.c: (in function stx_name) | |
3 | observer.c:9:10: Function returns reference to parameter x: (x->name) | |
4 | observer.c:9:10: Return value exposes rep of stx: (x->name) | |
5 | observer.c:9:20: Released storage x->name reachable from parameter at return | |
6 | point | |
7 | observer.c:9:10: Storage x->name released | |
8 | observer.c: (in function f) | |
9 | observer.c:33:3: Suspect modification of observer s: *s = 'x' | |
10 | observer.c:32:7: Storage *s becomes observer | |
11 | observer.c:34:9: Function call may modify observer s: s | |
12 | observer.c:32:7: Storage s becomes observer | |
13 | observer.c:34:9: Observer storage s passed as only param: free (s) | |
14 | observer.c:32:7: Storage s becomes observer | |
15 | observer.c:38:9: Exposed storage s passed as only param: free (s) | |
16 | observer.c:36:3: Storage s becomes exposed | |
17 | observer.c:41:10: Observer storage *s reachable from unqualified return value | |
18 | observer.c:40:7: Storage *s becomes observer | |
19 | observer.c:41:10: Observer storage s returned without qualification: s | |
20 | observer.c:40:7: Storage s becomes observer | |
21 | ||
22 | Finished checking --- 9 code warnings, as expected | |
23 | ||
24 | observer.c: (in function stx_name) | |
25 | observer.c:9:10: Function returns reference to parameter x: (x->name) | |
26 | observer.c:9:20: Released storage x->name reachable from parameter at return | |
27 | point | |
28 | observer.c:9:10: Storage x->name released | |
29 | observer.c: (in function f) | |
30 | observer.c:33:3: Suspect modification of observer s: *s = 'x' | |
31 | observer.c:32:7: Storage *s becomes observer | |
32 | observer.c:34:9: Function call may modify observer s: s | |
33 | observer.c:32:7: Storage s becomes observer | |
34 | observer.c:34:9: Observer storage s passed as only param: free (s) | |
35 | observer.c:32:7: Storage s becomes observer | |
36 | observer.c:38:9: Exposed storage s passed as only param: free (s) | |
37 | observer.c:36:3: Storage s becomes exposed | |
38 | observer.c:41:10: Observer storage *s reachable from unqualified return value | |
39 | observer.c:40:7: Storage *s becomes observer | |
40 | observer.c:41:10: Observer storage s returned without qualification: s | |
41 | observer.c:40:7: Storage s becomes observer | |
42 | ||
43 | Finished checking --- 8 code warnings, as expected | |
44 | ||
45 | observer.c: (in function stx_name) | |
46 | observer.c:9:20: Released storage x->name reachable from parameter at return | |
47 | point | |
48 | observer.c:9:10: Storage x->name released | |
49 | observer.c: (in function f) | |
50 | observer.c:33:3: Suspect modification of observer s: *s = 'x' | |
51 | observer.c:32:7: Storage *s becomes observer | |
52 | observer.c:34:9: Function call may modify observer s: s | |
53 | observer.c:32:7: Storage s becomes observer | |
54 | observer.c:34:9: Observer storage s passed as only param: free (s) | |
55 | observer.c:32:7: Storage s becomes observer | |
56 | observer.c:38:9: Exposed storage s passed as only param: free (s) | |
57 | observer.c:36:3: Storage s becomes exposed | |
58 | observer.c:41:10: Observer storage *s reachable from unqualified return value | |
59 | observer.c:40:7: Storage *s becomes observer | |
60 | observer.c:41:10: Observer storage s returned without qualification: s | |
61 | observer.c:40:7: Storage s becomes observer | |
62 | ||
63 | Finished checking --- 7 code warnings, as expected |