История изменений
Исправление den73, (текущая версия) :
Там ничего не написано про сертифицированность этих средств разработки. Они просто рекомендованы для разработки. В той мере, в которой я знаю (у меня допуска нет, хотя немного стремновато, всё же это внутренняя кухня), у нас в стране просто принято доверять gcc и всему подобному такому, а создание сертифицированного компилятора то ли ещё не произошло, то ли только началось, но уже есть, есть в стране люди, которые впряглись в эту непосильную лямку:
https://www.ispras.ru/technologies/safecomp/
Честно сказать, теперь мне хочется уже не плакать, а стрелать, крупным калибром.
Исходная версия den73, :
Там ничего не написано про сертифицированность этих средств разработки. Они просто рекомендованы для разработки. В той мере, в которой я знаю (у меня допуска нет, хотя немного стремновато, всё же это внутренняя кухня), у нас просто принято доверять gcc, а создание сертифицированного компилятора то ли ещё не произошло, то ли только началось, но уже есть, есть в стране люди, которые впряглись в эту непосильную лямку:
https://www.ispras.ru/technologies/safecomp/
Честно сказать, теперь мне хочется уже не плакать, а стрелать, крупным калибром.