test/refcounts.expect

   1
   2 refcounts.c: (in function rp_release)
   3 refcounts.c:18:13: Reference counted storage passed as only param: free (x)
   4 refcounts.c: (in function rp_temp)
   5 refcounts.c:24:10: New reference returned as temp reference: rp_create2()
   6 refcounts.c: (in function rp_f)
   7 refcounts.c:32:3: Kill reference parameter r2 (type rp) not released before
   8                      assignment: r2 = rp_temp()
   9    refcounts.c:27:50: Storage r2 becomes killref
  10 refcounts.c: (in function rp_ref)
  11 refcounts.c:48:10: Reference counted storage returned without modifying
  12                       reference count: x
  13 refcounts.c: (in function rp_waste)
  14 refcounts.c:63:13: New reference z2 not released before return
  15    refcounts.c:60:23: Storage z2 becomes newref
  16 refcounts.c: (in function rp_waste2)
  17 refcounts.c:71:3: New reference z2 (type rp) not released before assignment:
  18                      z2 = rp_ref(z1)
  19    refcounts.c:69:23: Storage z2 becomes newref
  20 refcounts.c:72:13: New reference z2 not released before return
  21    refcounts.c:71:3: Storage z2 becomes newref
  22
  23 Finished checking --- 7 code warnings, as expected