
deadparam.c: (in function t)
deadparam.c:7:6: Dead storage s1 passed as out parameter to f: s1
   deadparam.c:6:9: Storage s1 released
deadparam.c:10:6: Dead storage s2 passed as special parameter to g: s2
   deadparam.c:9:9: Storage s2 released
deadparam.c:10:6: Allocated storage s2 corresponds to storage listed in
                     allocates clause of called function: s2

Finished checking --- 3 code warnings, as expected
