http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51940
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-01-24 07:44:15 UTC --- > How do I report it to AdaCore? Their web site has lots of marketing stuff but > nothing about reporting bugs. Ditto for the Libre site. See the 'Contact' menu on the Libre site. > So there are two GNAT's in the world? Do they ever crosspollenate? Is the > GCC > GNAT more reliable? There is only one GNAT, the GNU Ada Translator, of which different versions are released by different organizations. 'gcc -v' should be sufficient to identify the version.