Re: My first compiler bug: work around or redesign?

[Natasha Kerensikova <lithiumcat@gmail.com>]

On 2012-03-26, Ludovic Brenta <ludovic@ludovic-brenta.org> wrote:
> Report it to the FSF at http://gcc.gnu.org/bugzilla. IMHO, a public bug
> database is worth a thousand private ones.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52752

Below is the minimal testcase I have worked out.

Is there anything I should do at this point? Or will everything leading
to a fix be handled from there?

Thanks for your help,
Natasha




package Test is

   type Callback is access procedure (State : in String);

   procedure Sample
     (State : in String;
      Action : in not null Callback);

end Test;

package body Test is

   procedure Simple_Init;

   generic
      with procedure Init;
   procedure Generic_Sample
     (State : in String;
      Action : in not null Callback);



   procedure Simple_Init is
   begin
      null;
   end Simple_Init;


   procedure Generic_Sample
     (State : in String;
      Action : in not null Callback) is
   begin
      Init;
      Action.all (State);
   end Generic_Sample;


   procedure Sample_Instance is new Generic_Sample (Simple_Init);

   procedure Sample
     (State : in String;
      Action : in not null Callback)
      renames Sample_Instance;

end Test;

with Ada.Text_IO;
with Test;

procedure Testcase is
   State : constant String := "Testcase";
begin
   Test.Sample (State, Ada.Text_IO.Put_Line'Access);
end Testcase;