test/cast.expect

   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 checking --- 20 code warnings, 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 checking --- 3 code warnings, as expected