Правило одной программы стандарта позволяет реализациям устанавливать произвольные «пределы перевода», которые дизайнеры считают нужными, и вести себя произвольно, если они нарушаются, при условии, что для каждого предела перевода, указанного в стандарте, существует по крайней мере одна программа, котораяреализация процессов правильно.Реализация может делать все, что ей нравится, когда ей дают любую другую программу.
Кроме того, Стандарт касается только поведения программы, а не сгенерированного кода, и, следовательно, не проводит практического различия между программой, которая застревает вбесконечный цикл, который будет работать триллионы лет без каких-либо побочных эффектов до получения результата.
В общем, правильный ответ на вопрос "Позволит ли стандарт C компилятору вести себя глупо ибесполезная мода X "это" Наверное. Так? "Стандарт не предпринимает никаких усилий, чтобы запретить компиляторам делать глупости, и тот факт, что Стандарт позволял бы соответствующей реализации делать что-то, не предполагает никакого суждения о том, может ли такое поведение сделать реализацию бесполезной для некоторых (или даже всех) целей.