UB это свойство реальности, тут может произойти что угодно. К счастью с разной и существенно отличной вероятностью. Иначе не было бы модулей памяти с ECC и т.п. Сам попадал на такое когда компилятор ругнулся на loooup, я удивился и посмотрел код, а там правильно lookup. Потом оказалось одна планка памяти сбоила. UB нет только в абстрактно математическом мире.
Вопрос как применить эти абстракции в реальности...

Другая проблема в мышлении людей. Некоторые кто лучше умеет абстрагироваться начинают считать, что они "лучше" или "правильнее" умеют думать. Но может они просто не могут воспринимать мир как есть, сложным и нелогичным? Может им сложно мыслить более реально, решая существующие задачи пусть и не красиво. Вместо этого они пытаются не испортить "красоту" своего решения реальными условиями задачи.
Получается прав C-шник, который привык жить в не идеальном мире, контролируя всё сам.
Такие люди делают море работы, хотя она возможно не идеальна, но служит многим и долго.

Только вот объём и сложность задач растёт. Также растёт зависимость цивилизации от этих решений.
В любом случае должно было бы появится что-то для облечения этого процесса.
Думаю Rust это неплохой шаг в верную сторону.