[Bug ada/21490] New: Illegal program not detected, RM 3.6(11)

[ludovic dot brenta at insalien dot org]

(From the Debian BTS):

procedure Test_306835 is
   generic
      type T1 is private;
   package pak1 is
      type T2 is array(1..10) of aliased T1;
   end pak1;

   type T3 (b: Boolean := False) is null record;
   package new_pak1 is new pak1 (T1 => T3);  --ERROR: T3 unconstrained
begin
   null;
end Test_306835;


the compiler says nothing when it should detect the error.

-- 
Ludovic Brenta.

-- 
           Summary: Illegal program not detected, RM 3.6(11)
           Product: gcc
           Version: 4.0.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=21490