You are still completely missing the point. This example is not "I know that UB doesn't happen, therefore ...", which is what the memcpy() case is. It is "I d

You are still completely missing the point. This example is not "I know that UB doesn't happen, therefore ...", which is what the memcpy() case is. It is "I don't care that UB might happen, I am going to act as if it didn't. If the UB then makes the program behave differently than without the UB, that's not my problem". Which, incidentally, is one of the suggested/permitted responses to UB in the standards text (that was made non-binding).