Labeled exit bug in GNAT GPL 2012 confirmed

While trying out the new Ada 2012 loop syntax, I discovered what appeared to be a bug in the compiler: I could not use labeled exit statements when using the new loop syntax. Observe this simple example: with Ada.Text_IO;   procedure Loopy is use Ada.Text_IO;   Foo : array (1 .. 3) of String (1 Read more »