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

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