An incoming can be undefined if the PHI result is not used if the incoming's path was taken, or if the undefined value is consumed by an instruction (dxc will compile such code without errors).