Reported as a possible null pointer dereference by Dr Silvio Cesare of InfoSect, but the branch is dead code anyway.