https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99624
--- Comment #4 from Vittorio Zecca <zeccav at gmail dot com> --- I added pragma Assert (Id in Name_Entries.Table'Range); at namet.adb:156, but then I get at compile time namet.adb:156:25: warning: condition can only be False if invalid values present and the build stops. I am very very rusty on Ada, what should I do to check that Id is good?