gcc/testsuite/gnat.dg/specs/last_bit.ads

   1 -- { dg-do compile }
   2
   3 package Last_Bit is
   4
   5    Max_Components : constant := 100;
   6    type Count_Type is new Natural range 0 .. Max_Components;
   7    subtype Index_Type is Count_Type range 1 .. Count_Type'Last;
   8
   9    type List_Type is array (Index_Type range <>) of Integer;
  10
  11    type Record_Type (Count : Count_Type := 0) is record
  12       List : List_Type (1 .. Count);
  13    end record;
  14
  15    Null_Record : Record_Type (Count => 0);
  16
  17    List_Last_Bit : Integer := Null_Record.List'Last_Bit;
  18
  19 end Last_Bit;