(7.9.3) Whether a zero-length file actually exists:

A zero-length file does exist since it has a directory entry.