]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | abstptr.c: (in function main) | |
3 | abstptr.c:13:3: Assignment of abst * to void *: vp = ap | |
4 | abstptr.c:14:3: Assignment of abst * to int *: ip = ap2 | |
5 | abstptr.c:15:3: Assignment of int * to abst *: ap = ip | |
6 | abstptr.c:16:17: Cast from underlying abstract type abst *: (void *)ap | |
7 | abstptr.c:17:8: Dereference of null pointer ap: *ap | |
8 | abstptr.c:15:8: Storage ap becomes null | |
9 | abstptr.c:19:16: Cast from underlying abstract type abst *: (void *)&a | |
10 | abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b | |
11 | abstptr.c:21:3: Assignment of int * to abst *: ap = &b | |
12 | abstptr.c:22:3: Assignment of int to abst: *ap = b | |
13 | ||
11db3170 | 14 | Finished checking --- 9 code warnings, as expected |
885824d3 | 15 | |
16 | abstptr.c: (in function main) | |
17 | abstptr.c:14:3: Assignment of abst * to int *: ip = ap2 | |
18 | abstptr.c:15:3: Assignment of int * to abst *: ap = ip | |
19 | abstptr.c:17:8: Dereference of null pointer ap: *ap | |
20 | abstptr.c:15:8: Storage ap becomes null | |
21 | abstptr.c:20:16: Cast to underlying abstract type abst *: (abst *)&b | |
22 | abstptr.c:21:3: Assignment of int * to abst *: ap = &b | |
23 | abstptr.c:22:3: Assignment of int to abst: *ap = b | |
24 | ||
11db3170 | 25 | Finished checking --- 6 code warnings, as expected |