https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83027
--- Comment #15 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > It is a GCC bug rather than an Ahven bug, because the bug is triggered by > `with Ada.Text_IO;` (and disappears if we remove this line from > spawn-signals.adb) which should not influence semantics of the program, > because the imported package is not used. Maybe, but can you extract a self-contained reproducer in order to give a definitive answer to the question? I know nothing about this Ahven library.