specclauses.c:40:23: Field r.name used after being released
specclauses.c:39:17: Storage r.name released
specclauses.c:40:23: Field r.name used after being released
specclauses.c:39:17: Storage r.name released
specclauses3.c:55:10: Unallocated storage res->name corresponds to storage
result->name listed in allocates clause: res
specclauses3.c:55:10: Unallocated storage res->name corresponds to storage
result->name listed in allocates clause: res
specclauses5.c: (in function createrecord2)
specclauses5.c:31:10: Null storage r->name derivable from return value: r
specclauses5.c: (in function createrecord2)
specclauses5.c:31:10: Null storage r->name derivable from return value: r