https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122246
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
Last reconfirmed| |2025-10-11
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
That's because the body of Ada.Real_Time.Timing_Events contains a task that was
not compiled with the Ravenscar profile, so a workaround is to copy
a-rttiev.adb locally, to add pragma Profile (Ravenscar); at the beginning of
the file, and to recompile it, for example with "gnatmake -a". Probably not
really fixable.
