[Ada] Take full view of private type
authorEtienne Servais <servais@adacore.com>
Mon, 21 Feb 2022 15:32:46 +0000 (16:32 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 17 May 2022 08:25:44 +0000 (08:25 +0000)
commit27b2b83bd7c1a9dfdba4ef27ea120ae5e1ead0b0
tree1f8f5021d1bf257e12ec51a247bfc272ebad702f
parentc21a0097b63f1117b780f7b56332d40d5cbc9625
[Ada] Take full view of private type

This allows to resolve the following:

      type Rec (<>) is private;
      type Arr (<>) is private;
   private
      type Arr is array (Positive range <>) of Natural;
      type Rec (L : Natural) is record
         F1 : Integer;
         F2 : Arr (1 .. L);
      end record;

gcc/ada/

* sem_ch3.adb (Analyze_Subtype_Declaration): Use underlying type
of Indic_Typ.
(Constrain_Array): Ditto for T.
gcc/ada/sem_ch3.adb