You can just zero out the pointer variable with __attribute__((cleanup)) before returning its value (from a temporary copy of course).