The original code was accused of triggering UB. By definition you cannot defend it by saying what it does since that has been claimed to be undefined. Focus on

The original code was accused of triggering UB. By definition you cannot defend it by saying what it does since that has been claimed to be undefined. Focus on proving it's well-defined, or rewrite it until it is.