Исправление quiet_readonly, (текущая версия) :
man формальная верификация
Т.е компилятор не поддерживает отладочную информацию, но при этом будет верифицирован как корректный компилятор C? Как будет верифицирован сам стандарт C? Стандартная библиотека? Нафига нужен компилятор без расширений?
В общем все сказки про верификацию этого убожества — это очевидное маркетинговое враньё.
Исходная версия quiet_readonly, :
man формальная верификация
Т.е компилятор не поддерживает отладочную информацию, но при этом будет верифицирован как корректный компилятор C? Как будет верифицирован сам стандарт C? Стандартная библиотека? Нафига нужен компилятор без расширений?
В общем все сказки про верификацию — это очевидное маркетинговое враньё.