https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66162
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > People who want to write Ada for MCUs aren’t necessarily in the > high-integrity world; some would want to cram as much of the language as > possible into the RTS. That's not the problem., just avoid using -gnatc on the runtime.