It is my understanding that return returns whatever is most appropriate based on the caller. Ie, it returns undef in scalar context and an empty list in the list context (which would cover both arrays and hashes).

return; does. return undef does not. I'd remove the undef from the sanity-check.