gcc/testsuite/gnat.dg/sso/q10.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatws" }
   3
   4 with Init10; use Init10;
   5 with Text_IO; use Text_IO;
   6 with Dump;
   7
   8 procedure Q10 is
   9
  10   A1 : R1 := My_R1;
  11   B1 : R1 := My_R1;
  12
  13   A2 : R2 := My_R2;
  14   B2 : R2 := My_R2;
  15
  16 begin
  17   Put ("A1 :");
  18   Dump (A1'Address, R1'Max_Size_In_Storage_Elements);
  19   New_Line;
  20   -- { dg-output "A1 : 78 56 34 12.*\n" }
  21
  22   Put ("B1 :");
  23   Dump (B1'Address, R1'Max_Size_In_Storage_Elements);
  24   New_Line;
  25   -- { dg-output "B1 : 78 56 34 12.*\n" }
  26
  27   Put ("A2 :");
  28   Dump (A2'Address, R2'Max_Size_In_Storage_Elements);
  29   New_Line;
  30   -- { dg-output "A2 : 12 34 56 78.*\n" }
  31
  32   Put ("B2 :");
  33   Dump (B2'Address, R2'Max_Size_In_Storage_Elements);
  34   New_Line;
  35   -- { dg-output "B2 : 12 34 56 78.*\n" }
  36
  37   if A1.I /= B1.I then
  38     raise Program_Error;
  39   end if;
  40
  41   if A1.I /= 16#12345678# then
  42     raise Program_Error;
  43   end if;
  44
  45   if A2.I /= B2.I then
  46     raise Program_Error;
  47   end if;
  48
  49   if A2.I /= 16#12345678# then
  50     raise Program_Error;
  51   end if;
  52
  53 end;