Обычный gcc

Ну пока выходит, что даже с текущими компиляторами, по крайней мере профили рантайма можно создать. Только с точки зрения стандарта, это не программа на C++ получается, но это же можно сказать и про всё, что использует attribute(xxx), или тому подобное. Да и сам стандарт никакие профили не описывает. С другой стороны, сейчас всё больше опциональных вещей добавляется для которых можно делать проверки на доступность, фичи, и как там: https://en.cppreference.com/w/cpp/feature_test

Компилятор Ады входит в состав gcc же

apt get install gnat :-) или около того

@shiz01 думаю в этом разговоре не хватает тебя

Но если хочется, то можно и за чемодан денег

Ну вообще стандарт С++ разрешает расширения и это все ещё будет являться программой на С++

тут речь больше про сокращения))))

Я просто влетел в разговор без контекста, сорри

выключить исключения, запретить new из динамической памяти

Ну это же все равно С++ будет

Просто ограниченный

А где это в стандарте сказано?

я, если честно, не в курсе.

@lazerate помоги

А он спит

Сейчас сам попробую найти

А верификатор в gcc есть или он тоже за чемодан денег?

А я нить потерял, вы все еще про RTOS?

Это ж не про Аду вопрос, а про SPARK?