test/abstptr.out

   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
  14 Finished LCLint checking --- 9 code errors found, as expected
  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
  25 Finished LCLint checking --- 6 code errors found, as expected