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

   1 -- { dg-do run }
   2
   3 with Init5; use Init5;
   4 with Text_IO; use Text_IO;
   5 with Dump;
   6
   7 procedure P5 is
   8
   9   Local_R1 : R1;
  10   Local_R2 : R2;
  11
  12 begin
  13   Put ("My_R1    :");
  14   Dump (My_R1'Address, R1'Max_Size_In_Storage_Elements);
  15   New_Line;
  16   -- { dg-output "My_R1    : 78 56 34 12 12 00 ab 00 34 00 cd 00 56 00 ef 00.*\n" }
  17
  18   Put ("My_R2    :");
  19   Dump (My_R2'Address, R2'Max_Size_In_Storage_Elements);
  20   New_Line;
  21   -- { dg-output "My_R2    : 12 34 56 78 00 ab 00 12 00 cd 00 34 00 ef 00 56.*\n" }
  22
  23   Local_R1 := My_R1;
  24   Put ("Local_R1 :");
  25   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  26   New_Line;
  27   -- { dg-output "Local_R1 : 78 56 34 12 12 00 ab 00 34 00 cd 00 56 00 ef 00.*\n" }
  28
  29   Local_R2 := My_R2;
  30   Put ("Local_R2 :");
  31   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  32   New_Line;
  33   -- { dg-output "Local_R2 : 12 34 56 78 00 ab 00 12 00 cd 00 34 00 ef 00 56.*\n" }
  34
  35   Local_R1 := (I => 16#12345678#,
  36                A => (16#AB0012#, 16#CD0034#, 16#EF0056#));
  37   Put ("Local_R1 :");
  38   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  39   New_Line;
  40   -- { dg-output "Local_R1 : 78 56 34 12 12 00 ab 00 34 00 cd 00 56 00 ef 00.*\n" }
  41
  42   Local_R2 := (I => 16#12345678#,
  43                A => (16#AB0012#, 16#CD0034#, 16#EF0056#));
  44   Put ("Local_R2 :");
  45   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  46   New_Line;
  47   -- { dg-output "Local_R2 : 12 34 56 78 00 ab 00 12 00 cd 00 34 00 ef 00 56.*\n" }
  48
  49   Local_R1.I    := Local_R2.I;
  50   Local_R1.A(1) := Local_R2.A(1);
  51   Local_R1.A(2) := Local_R2.A(2);
  52   Local_R1.A(3) := Local_R2.A(3);
  53
  54   Put ("Local_R1 :");
  55   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  56   New_Line;
  57   -- { dg-output "Local_R1 : 78 56 34 12 12 00 ab 00 34 00 cd 00 56 00 ef 00.*\n" }
  58
  59   Local_R2.I    := Local_R1.I;
  60   Local_R2.A(1) := Local_R1.A(1);
  61   Local_R2.A(2) := Local_R1.A(2);
  62   Local_R2.A(3) := Local_R1.A(3);
  63
  64   Put ("Local_R2 :");
  65   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  66   New_Line;
  67   -- { dg-output "Local_R2 : 12 34 56 78 00 ab 00 12 00 cd 00 34 00 ef 00 56.*\n" }
  68 end;