]> andersk Git - splint.git/blob - test/observer.expect
Initial revision
[splint.git] / test / observer.expect
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'
10 observer.c:34:9: Function call may modify observer *s: s
11 observer.c:34:9: Observer storage s passed as only param: free (s)
12    observer.c:32:7: Storage s becomes observer
13 observer.c:38:9: Exposed storage s passed as only param: free (s)
14    observer.c:36:3: Storage s becomes exposed
15 observer.c:41:10: Observer storage *s reachable from unqualified return value
16 observer.c:41:10: Observer storage s returned without qualification: s
17    observer.c:40:7: Storage s becomes observer
18
19 Finished LCLint checking --- 9 code errors found, as expected
20
21 observer.c: (in function stx_name)
22 observer.c:9:10: Function returns reference to parameter x: (x->name)
23 observer.c:9:20: Released storage x->name reachable from parameter at return
24                     point
25    observer.c:9:10: Storage x->name is released
26 observer.c: (in function f)
27 observer.c:33:3: Suspect modification of observer s: *s = 'x'
28 observer.c:34:9: Function call may modify observer *s: s
29 observer.c:34:9: Observer storage s passed as only param: free (s)
30    observer.c:32:7: Storage s becomes observer
31 observer.c:38:9: Exposed storage s passed as only param: free (s)
32    observer.c:36:3: Storage s becomes exposed
33 observer.c:41:10: Observer storage *s reachable from unqualified return value
34 observer.c:41:10: Observer storage s returned without qualification: s
35    observer.c:40:7: Storage s becomes observer
36
37 Finished LCLint checking --- 8 code errors found, as expected
38
39 observer.c: (in function stx_name)
40 observer.c:9:20: Released storage x->name reachable from parameter at return
41                     point
42    observer.c:9:10: Storage x->name is released
43 observer.c: (in function f)
44 observer.c:33:3: Suspect modification of observer s: *s = 'x'
45 observer.c:34:9: Function call may modify observer *s: s
46 observer.c:34:9: Observer storage s passed as only param: free (s)
47    observer.c:32:7: Storage s becomes observer
48 observer.c:38:9: Exposed storage s passed as only param: free (s)
49    observer.c:36:3: Storage s becomes exposed
50 observer.c:41:10: Observer storage *s reachable from unqualified return value
51 observer.c:41:10: Observer storage s returned without qualification: s
52    observer.c:40:7: Storage s becomes observer
53
54 Finished LCLint checking --- 7 code errors found, as expected
This page took 0.038154 seconds and 5 git commands to generate.