Coverity 1463574: Null pointer dereferences (REVERSE_INULL)