[Bug ada/16097] New: Illegal program not detected, RM 6.3.1(9), RM 8.5.4(5)

[ludovic dot brenta at insalien dot org]

--  RM 6.3.1(9)
--  The default calling convention is Intrinsic for ...  an attribute
--  that is a subprogram;

--  RM 8.5.4(5)
--  ...the convention of the renamed subprogram shall not be
--  Intrinsic.
procedure Test_248682 is
   package pak1 is
      function f1(x: integer'base) return integer'base;
   end pak1;

   package body pak1 is
      function f1(x: integer'base) return integer'base renames
        integer'succ;  --ERROR: renaming as body can't rename intrinsic
   end pak1;
begin
   null;
end Test_248682;

I expect:
test_248682.adb:15:09: subprogram used in renaming_as_body cannot be intrinsic
gnatmake: "test_248682.adb" compilation error

But I get nothing.

-- 
           Summary: Illegal program not detected, RM 6.3.1(9), RM 8.5.4(5)
           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=16097