> -- Дмитрий Дагаев писал(а):
> Фреймворки, конечно же пытаются представить сгенеренный ими код как безошибочный, но это очень сложно доказать.
А как доказывается, что в самом компиляторе нет ошибок?
Ну, смотрит проверяющая комиссия на цикл LOOP Limit WHILE Expression DO и думает, что этот цикл ограничен. А на самом же деле в компиляторе ошибка, и он вообще забыл добавить проверку на "Limit".