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

   1 -- { dg-do run }
   2
   3 with Init4; use Init4;
   4 with Ada.Numerics; use Ada.Numerics;
   5 with Text_IO; use Text_IO;
   6 with Dump;
   7
   8 procedure T4 is
   9
  10   Local_R1 : R1;
  11   Local_R2 : R2;
  12
  13 begin
  14   Local_R1.F := My_R1.F + 1.0;
  15
  16   Put ("Local_R1 :");
  17   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  18   New_Line;
  19   -- { dg-output "Local_R1 : ee 87 84 40.*\n" }
  20
  21   Local_R2.F := My_R2.F + 1.0;
  22
  23   Put ("Local_R2 :");
  24   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  25   New_Line;
  26   -- { dg-output "Local_R2 : 40 84 87 ee.*\n" }
  27
  28   Local_R1.F := Pi;
  29
  30   Put ("Local_R1 :");
  31   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  32   New_Line;
  33   -- { dg-output "Local_R1 : db 0f 49 40.*\n" }
  34
  35   Local_R2.F := Pi;
  36
  37   Put ("Local_R2 :");
  38   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  39   New_Line;
  40   -- { dg-output "Local_R2 : 40 49 0f db.*\n" }
  41
  42   Local_R1.F := Local_R1.F + 1.0;
  43
  44   Put ("Local_R1 :");
  45   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  46   New_Line;
  47   -- { dg-output "Local_R1 : ee 87 84 40.*\n" }
  48
  49   Local_R2.F := Local_R2.F + 1.0;
  50
  51   Put ("Local_R2 :");
  52   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  53   New_Line;
  54   -- { dg-output "Local_R2 : 40 84 87 ee.*\n" }
  55
  56 end;