]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | cast.c:1:13: Mutable abstract type abst1 declared without pointer indirection: | |
3 | int (violates assignment semantics) | |
4 | cast.c:1:20: Mutable abstract type abst2 declared without pointer indirection: | |
5 | int (violates assignment semantics) | |
6 | cast.c: (in function main) | |
7 | cast.c:6:13: Variable b initialized to type int, expects abst2: 3 | |
8 | cast.c:7:25: Cast to underlying abstract type abst2 *: | |
9 | (abst2 *)malloc(sizeof(abst2)) | |
10 | cast.c:11:10: Dereference of possibly null pointer ip: *ip | |
11 | cast.c:9:14: Storage ip may become null | |
12 | cast.c:12:10: Dereference of possibly null pointer bp: *bp | |
13 | cast.c:7:15: Storage bp may become null | |
14 | cast.c:12:9: Assignment of int to abst2: *bp = 5 | |
15 | cast.c:13:21: Cast to abstract type abst1: (abst1)ip | |
16 | cast.c:14:24: Cast to underlying abstract type abst1 *: (abst1 *)ip | |
17 | cast.c:15:22: Cast to underlying abstract type FILE *: (FILE *)ip | |
18 | cast.c:16:21: Redundant cast involving abstract type abst1: (abst1)a | |
19 | cast.c:17:22: Cast from underlying abstract type abst1 *: (int *)ap | |
20 | cast.c:18:22: Cast from underlying abstract type FILE *: (int *)f | |
21 | cast.c:19:22: Cast from underlying abstract type abst1: (int *)a | |
22 | cast.c:20:21: Cast from abstract type abst2: (abst1)b | |
23 | cast.c:20:21: Cast to abstract type abst1: (abst1)b | |
24 | cast.c:21:24: Cast to underlying abstract type abst1 *: (abst1 *)bp | |
25 | cast.c:21:24: Cast from underlying abstract type abst2 *: (abst1 *)bp | |
26 | cast.c:22:19: Owned storage ap not released before return | |
27 | cast.c:21:10: Storage ap becomes owned | |
28 | cast.c:22:19: Last reference ip to owned storage a not released before return | |
29 | cast.c:20:10: Original reference lost | |
30 | ||
31 | Finished LCLint checking --- 20 code errors found, as expected | |
32 | ||
33 | cast2.c: (in function f1) | |
34 | cast2.c:9:10: Implicitly temp storage x returned as implicitly only: x | |
35 | cast2.c:9:10: Function returns reference to parameter x: x | |
36 | cast2.c: (in function f2) | |
37 | cast2.c:15:10: Implicitly dependent storage x returned as implicitly only: | |
38 | (abst1)x | |
39 | ||
40 | Finished LCLint checking --- 3 code errors found, as expected |