test/abstract.expect

   1
   2 commentcmd.c:1:13: Mutable abstract type abst1 declared without pointer
   3                       indirection: int (violates assignment semantics)
   4 commentcmd.c:1:20: Mutable abstract type abst2 declared without pointer
   5                       indirection: int (violates assignment semantics)
   6 commentcmd.c:2:13: Mutable abstract type abst3 declared without pointer
   7                       indirection: int (violates assignment semantics)
   8 commentcmd.c: (in function main)
   9 commentcmd.c:11:22: Cast to abstract type abst2: (abst2)i
  10 commentcmd.c:16:22: Cast to abstract type abst1: (abst1)i
  11 commentcmd.c:17:22: Cast to abstract type abst2: (abst2)i
  12 commentcmd.c:18:22: Cast to abstract type abst3: (abst3)i
  13 commentcmd.c:22:22: Cast to abstract type abst1: (abst1)i
  14 commentcmd.c:24:22: Cast to abstract type abst3: (abst3)i
  15 commentcmd.c:34:22: Cast to abstract type abst1: (abst1)i
  16 commentcmd.c:40:22: Cast to abstract type abst1: (abst1)i
  17 commentcmd.c:41:22: Cast to abstract type abst2: (abst2)i
  18 commentcmd.c:46:22: Cast to abstract type abst1: (abst1)i
  19 commentcmd.c:47:22: Cast to abstract type abst2: (abst2)i
  20 commentcmd.c:48:22: Cast to abstract type abst3: (abst3)i
  21
  22 Finished checking --- 15 code warnings, as expected