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