analyzer: Fix PR analyzer/101980

[official-gcc.git] / gcc / testsuite / gnat.dg / array32.ads

package Array32 is

   type Rec is record
      I : Integer;
   end record;

   type Arr is array (Positive range <>) of Rec;

   procedure Init (A : out Arr);

end Array32;