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 is released
8 observer.c: (in function f)
9 observer.c:33:3: Suspect modification of observer s: *s = 'x'
10 observer.c:34:9: Function call may modify observer s: s
11 observer.c:32:7: Storage s becomes observer
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
20 Finished checking --- 9 code warnings, as expected
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
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'
29 observer.c:34:9: Function call may modify observer s: s
30 observer.c:32:7: Storage s becomes observer
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
39 Finished checking --- 8 code warnings, as expected
41 observer.c: (in function stx_name)
42 observer.c:9:20: Released storage x->name reachable from parameter at return
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'
47 observer.c:34:9: Function call may modify observer s: s
48 observer.c:32:7: Storage s becomes observer
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
57 Finished checking --- 7 code warnings, as expected