[Bug ada/16086] New: Legal program rejected, procedure of protected object should be visible

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

package Test_248172 is
   protected T1 is
      procedure p2;
   end T1;

   generic
      with procedure p4 is T1.p2;
   package pak3 is
   end pak3;
end Test_248172;

test_248172.ads:7:30: expect valid subprogram name as default
gnatmake: "test_248172.ads" compilation error

-- 
           Summary: Legal program rejected, procedure of protected object
                    should be visible
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ludovic dot brenta at insalien dot org
                CC: gcc-bugs at gcc dot gnu dot org


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