Coverity CID 1249673: Structurally dead code  (UNREACHABLE)