http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50006
--- Comment #7 from Richard Henderson <rth at gcc dot gnu.org> 2011-08-12 21:49:19 UTC --- Created attachment 24993 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24993 proposed patch This seems to fix the bug. Doing an Ada sanity check on x86_64...