Coverity 1453628: Null pointer dereferences (REVERSE_INULL)