test/outparam.expect

   1
   2 outparam.c: (in function h)
   3 outparam.c:8:3: Variable u1 used before definition
   4 outparam.c:12:7: Field s->a used before definition
   5 outparam.c: (in function f)
   6 outparam.c:21:7: Value *a used before definition
   7 outparam.c: (in function g)
   8 outparam.c:37:5: Unallocated storage c passed as out parameter to f: c
   9 outparam.c:37:8: Variable b used before definition
  10 outparam.c:39:5: Unallocated storage d passed as out parameter to f: d
  11 outparam.c:41:7: Variable t used before definition
  12 outparam.c:42:7: Variable t2 used before definition
  13 outparam.c:42:3: Assignment of int to st: s = t2->a
  14 outparam.c:44:3: Variable t3 used before definition
  15 outparam.c:47:5: Arrow access from possibly null pointer t4: t4->a
  16    outparam.c:46:8: Storage t4 may become null
  17 outparam.c:48:13: Fresh storage t4 not released before return
  18    outparam.c:46:3: Fresh storage t4 created
  19
  20 Finished checking --- 12 code warnings, as expected