Coverity 1453627: Null pointer dereferences (REVERSE_INULL)