#5811 false postive: (error) Null pointer dereference