]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | keep.c: (in function f2) | |
3 | keep.c:12:9: Keep storage passed as only param: free (x) | |
4 | keep.c:10:26: Storage x becomes keep | |
5 | keep.c: (in function f3) | |
6 | keep.c:19:27: Keep storage x not transferred before return | |
7 | keep.c:15:25: Storage x becomes keep | |
8 | keep.c: (in function f5) | |
9 | keep.c:36:10: Keep storage x not transferred before return | |
10 | keep.c:34:39: Storage x becomes keep | |
11 | keep.c: (in function f6) | |
12 | keep.c:44:5: Variable x is kept in true branch, but not kept in continuation. | |
13 | keep.c:43:11: Storage x becomes kept | |
14 | keep.c:46:7: Kept storage x passed as keep param: f2 (x) | |
15 | keep.c:44:5: Storage x becomes kept | |
16 | keep.c: (in function f7) | |
17 | keep.c:60:10: Kept storage x returned as implicitly only: x | |
18 | keep.c:58:5: Storage x becomes kept | |
19 | ||
20 | Finished LCLint checking --- 6 code errors found, as expected |