gcc/testsuite/gnat.dg/enum_rep.ads

   1 with Interfaces;
   2
   3 package Enum_Rep is
   4
   5    type My_Type is range 00 .. 100;
   6
   7    subtype My_Subtype2 is Interfaces.Unsigned_32
   8         range My_Type'First'Enum_Rep .. My_Type'Last'Enum_Rep;
   9
  10    My_Type_First : constant My_Type :=  My_Type'First;
  11    My_Type_Last : constant My_Type :=  My_Type'Last;
  12
  13    subtype My_Subtype is Interfaces.Unsigned_32
  14          range My_Type_First'Enum_Rep .. My_Type_Last'Enum_Rep;
  15
  16    subtype My_Subtype1 is Interfaces.Unsigned_32
  17         range My_Type'Enum_Rep (My_Type'First) ..
  18                My_Type'Enum_Rep (MY_Type'Last);
  19
  20    procedure Foo;
  21
  22 end;