Именно. И именно поэтому компилятор имеет полное вправо превратить программу с UB в тыкву
Просто пойми, если ты действительно хочешь понять. У любой спецификации есть ограничения. Она не может определить всего поведения в рамках неё самой. Но в реальности такого не существует. И ты не можешь ограничения спецификации проецировать на мир реальный. Если ты напишешь, что колёса у твоей телеги круглого и неопределённого цвета, то они не могут в реальность быть такого цвета. Его не существует.