http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46490
--- Comment #12 from John Marino <gnugcc at marino dot st> 2010-11-16 23:07:46 UTC --- That's great news, Eric! Many thanks, both for spending some long hours resolving this the same day it was reported, and for the tip on the raise_from_pure test. This results in two GNAT ports have zero ACATS errors. John