Optimize C++ function by value analysis (remove an if body that derefs a pointer which must be null if reached)

Part of

Advanced C++ Template And Pointer Techniques