http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51940
--- Comment #4 from Gary Barnes <garynot at comcast dot net> 2012-01-24 06:05:59 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. So there are two GNAT's in the world? Do they ever crosspollenate? Is the GCC GNAT more reliable?
