gcc/testsuite/gnat.dg/discr32.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatws" }
   3
   4 with Discr32_Pkg; use Discr32_Pkg;
   5
   6 procedure Discr32 is
   7 begin
   8
   9   if R1'Object_Size /= 32 then
  10     raise Program_Error;
  11   end if;
  12
  13   if R2'Object_Size /= R'Object_Size then
  14     raise Program_Error;
  15   end if;
  16
  17   if R3'Object_Size /= 64 then
  18     raise Program_Error;
  19   end if;
  20
  21 end;