https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116916
--- Comment #4 from simon at pushface dot org --- I now realise that "predefined" means "defined in the ARM". Obviously System.Interrupts.Xh3irq isn’t defined in the ARM, so GNAT must define "predefined" as "Ada, Interfaces, System, and their descendants". I haven’t been able to think of a suitably terse way of saying that, so I think it’s best to let it go and close this.
