http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52219
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-02-12 21:49:46 UTC --- > acats & gnat is clean on x86_64-darwin10 @184143 (and, I think, 184127). > perhaps a temporary glitch? Apparently!-(the tests pass without failure @184143 when run with check-ada, full test for tonight). Bugs that pops up and disappears are quite unpleasant.