The original UB was to allow the compiler to merge two loops without proving termination.