test/deadparam.expect

   1
   2 deadparam.c: (in function t)
   3 deadparam.c:7:6: Dead storage s1 passed as out parameter to f: s1
   4    deadparam.c:6:9: Storage s1 released
   5 deadparam.c:10:6: Dead storage s2 passed as special parameter to g: s2
   6    deadparam.c:9:9: Storage s2 released
   7 deadparam.c:10:6: Allocated storage s2 corresponds to storage listed in
   8                      allocates clause of called function: s2
   9
  10 Finished checking --- 3 code warnings, as expected