[Bug ada/34343] New: Legal program rejected, Ada 2005 prefix notation, RM 4.1.3(9.2/2), 6.4(10.1/2)

["ludovic at ludovic-brenta dot org" <gcc-bugzilla at gcc dot gnu dot org>]

procedure test1 is

   type T1 is tagged null record;

   procedure p1 (x: T1) is
   begin
      null;
   end p1;

   procedure p2 (x: T1'class) is
   begin
      null;
   end p2;

   procedure p3 (x: access T1) is
   begin
      null;
   end p3;

   procedure p4 (x: access T1'class) is
   begin
      null;
   end p4;

   package pak is
      type T2 is tagged null record;
      procedure p5 (x: T2);
      procedure p6 (x: T2'class);
      procedure p7 (x: access T2);
      procedure p8 (x: access T2'class);
   end pak;

   package body pak is
      procedure p5 (x: T2) is
      begin
         null;
      end p5;

      procedure p6 (x: T2'class) is
      begin
         null;
      end p6;

      procedure p7 (x: access T2) is
      begin
         null;
      end p7;

      procedure p8 (x: access T2'class) is
      begin
         null;
      end p8;

   end pak;

   y1: T1 := (null record);
   y2: access T1;
   y3: pak.T2 := (null record);
   y4: access pak.T2;

begin
   y1.p1; -- line 62
   y1.p2;
   y2.p3; -- line 64
   y2.p4; -- line 65
   y3.p5;
   y3.p6;
   y4.p7;
   y4.p8; -- line 69
end test1;

gnatmake -gnat05 test1
gcc-4.1 -c -gnat05 test1.adb
test1.adb:62:06: no selector "p1" for type "T1" defined at line 3
test1.adb:64:06: no selector "p3" for type "T1" defined at line 3
test1.adb:65:06: no selector "p4" for type "T1" defined at line 3
test1.adb:69:06: no selector "p8" for type "T2" defined at line 26

Also fails with the same error messages in GCC 4.2.2.  Funny that the compiler
doesn't see p1 or p3 but does see p5 and p7 simply because they are in a nested
package.


-- 
           Summary: Legal program rejected, Ada 2005 prefix notation, RM
                    4.1.3(9.2/2), 6.4(10.1/2)
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ludovic at ludovic-brenta dot org


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