It can't (correctly) remove checks that would have prevented the undefined behavior, because that is changing the semantics of a program that (as written) does

It can't (correctly) remove checks that would have prevented the undefined behavior, because that is changing the semantics of a program that (as written) does not trigger undefined behavior.