]>
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 | |
16c024b5 | 7 | observer.c:9:10: Storage x->name released |
885824d3 | 8 | observer.c: (in function f) |
9 | observer.c:33:3: Suspect modification of observer s: *s = 'x' | |
16c024b5 | 10 | observer.c:32:7: Storage *s becomes observer |
ccf0a4a8 | 11 | observer.c:34:9: Function call may modify observer s: s |
12 | observer.c:32:7: Storage s becomes observer | |
885824d3 | 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 | |
16c024b5 | 18 | observer.c:40:7: Storage *s becomes observer |
885824d3 | 19 | observer.c:41:10: Observer storage s returned without qualification: s |
20 | observer.c:40:7: Storage s becomes observer | |
21 | ||
11db3170 | 22 | Finished checking --- 9 code warnings, as expected |
885824d3 | 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 | |
16c024b5 | 28 | observer.c:9:10: Storage x->name released |
885824d3 | 29 | observer.c: (in function f) |
30 | observer.c:33:3: Suspect modification of observer s: *s = 'x' | |
16c024b5 | 31 | observer.c:32:7: Storage *s becomes observer |
ccf0a4a8 | 32 | observer.c:34:9: Function call may modify observer s: s |
33 | observer.c:32:7: Storage s becomes observer | |
885824d3 | 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 | |
16c024b5 | 39 | observer.c:40:7: Storage *s becomes observer |
885824d3 | 40 | observer.c:41:10: Observer storage s returned without qualification: s |
41 | observer.c:40:7: Storage s becomes observer | |
42 | ||
11db3170 | 43 | Finished checking --- 8 code warnings, as expected |
885824d3 | 44 | |
45 | observer.c: (in function stx_name) | |
46 | observer.c:9:20: Released storage x->name reachable from parameter at return | |
47 | point | |
16c024b5 | 48 | observer.c:9:10: Storage x->name released |
885824d3 | 49 | observer.c: (in function f) |
50 | observer.c:33:3: Suspect modification of observer s: *s = 'x' | |
16c024b5 | 51 | observer.c:32:7: Storage *s becomes observer |
ccf0a4a8 | 52 | observer.c:34:9: Function call may modify observer s: s |
53 | observer.c:32:7: Storage s becomes observer | |
885824d3 | 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 | |
16c024b5 | 59 | observer.c:40:7: Storage *s becomes observer |
885824d3 | 60 | observer.c:41:10: Observer storage s returned without qualification: s |
61 | observer.c:40:7: Storage s becomes observer | |
62 | ||
11db3170 | 63 | Finished checking --- 7 code warnings, as expected |