Это немножко из другой оперы.
Это про взаимодействие двух систем, поэтому здесь работает заповедь дедушки Вирта:"Вся программа должна строиться в оборонительном стиле". Поэтому при подобной ситуации программа на О может остановиться, но не упасть или улететь в космос. Это огромная разница.
Внутри правильных Оберонов подобная ситуация невозможна. Что касается быстродействия, тут опять же: я предпочту неубиваемый "Москвич" с предельной скоростью 120, чем смешной "Феррари", который развалится через 500 км на скорости 340 км в час. На практике проблема вычислительной мощности в 67% случаев перерастает в проблему ввода-вывода. Например, отрисовка на экране)))
Кроме того, включение такой опции безопасности в GCC говорит о том, что проблема не высосана из пальца. И эта опция неполноценна, так как это попытка заштукатурить кривой фундамент.