gcc/testsuite/gnat.dg/sizetype3.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Sizetype3_Pkg; use Sizetype3_Pkg;
   5
   6 package body Sizetype3 is
   7
   8    procedure Handle_Enum_Values is
   9       Values : constant List := F;
  10       L : Values_Array_Access;
  11    begin
  12       L := new Values_Array (1 .. Values'Length);
  13    end Handle_Enum_Values;
  14
  15    procedure Simplify_Type_Of is
  16    begin
  17       Handle_Enum_Values;
  18    end Simplify_Type_Of;
  19
  20 end Sizetype3;