https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98724 --- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> --- Sorry, I don't have access to alpha anymore. (And I'm surprised that gnat even builds, because I've never tried.)