| 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 |
andersk / splint.git / blame