http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54799
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |ebotcazou at gcc dot | |gnu.org Resolution| |INVALID Summary|Missing ";" gives "GNAT BUG |Missing ";" gives "GNAT BUG |DETECTED" box with GPL |DETECTED" box |2012, GPL 2010, AUX 4.7.1, | |and AUX 4.6.3 | --- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-12-15 19:23:16 UTC --- Issues with GNAT GPL should be reported to AdaCore.