http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58239
--- Comment #16 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- The patch in comment #14 allows to bootstrap x86_64-apple-darwin10 with Ada. The only failures are for gnat.dg/specs/linker_alias.ads (see http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00996.html). Thanks for the patch.