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
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
22 Finished checking --- 9 code warnings, as expected
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
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
43 Finished checking --- 8 code warnings, as expected
45 observer.c: (in function stx_name)
46 observer.c:9:20: Released storage x->name reachable from parameter at return
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
63 Finished checking --- 7 code warnings, as expected