test/clauses.expect

   1
   2 clauses.c: (in function f)
   3 clauses.c:6:5: Variable x is released in true branch, but live in continuation.
   4    clauses.c:6:5: in true branch:
   5    clauses.c:5:13: Storage x released
   6 clauses.c:11:5: Variable y is released in while body, but live if loop is not
   7                    taken.
   8    clauses.c:11:5: in while body:
   9    clauses.c:10:13: Storage y released
  10 clauses.c:20:5: Variable z2 is released in false branch, but live in true
  11                    branch.
  12    clauses.c:20:5: in false branch:
  13    clauses.c:19:13: Storage z2 released
  14 clauses.c:20:5: Variable z is released in true branch, but live in false
  15                    branch.
  16    clauses.c:20:5: in true branch:
  17    clauses.c:15:13: Storage z released
  18
  19 Finished checking --- 4 code warnings, as expected
  20
  21 Finished checking --- no warnings
  22
  23 clauses3.c: (in function h)
  24 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
  25    clauses3.c:46:10: Storage x->x released
  26 clauses3.c: (in function m)
  27 clauses3.c:61:5: Storage x->x is released in one path, but live in another.
  28    clauses3.c:60:13: Storage x->x released
  29
  30 Finished checking --- 2 code warnings, as expected
  31
  32 Command Line: Selecting unix library.  Unix library is ad hoc addition to POSIX
  33     library.  Recommend use +posixlib to select POSIX library instead. Use
  34     -warnunixlib to suppress this message.
  35 clauses3.c: (in function h)
  36 clauses3.c:48:5: Storage x->x is released in one path, but live in another.
  37    clauses3.c:46:10: Storage x->x released
  38 clauses3.c: (in function m)
  39 clauses3.c:60:13: Possibly null storage x->x passed as non-null param:
  40                      free (x->x)
  41 clauses3.c:61:5: Storage x->x is released in one path, but live in another.
  42    clauses3.c:60:13: Storage x->x released
  43
  44 Finished checking --- 3 code warnings, as expected