gcc/testsuite/gnat.dg/bit_order1.adb

   1 --  { dg-do compile }
   2
   3 with System;
   4
   5 procedure Bit_Order1 is
   6
   7    type Sample_Ttype is tagged record
   8       Data : Natural;
   9    end record;
  10
  11    type Other_Type is new Sample_Ttype with record
  12       Other_Data : String (1 .. 100);
  13    end record;
  14
  15    for Other_Type'Bit_Order use System.High_Order_First; --  { dg-error "Bit_Order cannot be defined for record extensions" }
  16 begin
  17    null;
  18 end;