http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37245
--- Comment #5 from nicolas.boulenguez at free dot fr 2011-09-01 01:15:04 UTC --- During the Debian transition, the default gnat (4.4.6) uses its own gcc instead of the default gcc (4.6.1), as you can see in line 2 of your log. Summary of our results so far: 4.1.2 reports 1 4.1.3 ok 4.2.3 ok 4.3.1 no definition 4.4.6 no definition 4.6.1 ok
