Dereference of an expression with a null branch