Coverity 1453630: Null pointer dereferences (FORWARD_NULL)