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

   1 -- { dg-do run }
   2
   3 with Init3; use Init3;
   4 with Text_IO; use Text_IO;
   5 with Dump;
   6
   7 procedure T3 is
   8
   9   Local_R1 : R1;
  10   Local_R2 : R2;
  11
  12 begin
  13   Local_R1.S1   := My_R1.S1 - 1;
  14   Local_R1.I    := My_R1.I + 1;
  15   Local_R1.S2   := My_R1.S2 - 1;
  16   Local_R1.N.C1 := My_R1.N.C1 mod 16;
  17   Local_R1.N.C2 := My_R1.N.C2 mod 16;
  18   Local_R1.N.C3 := My_R1.N.C3 mod 16;
  19   Local_R1.B    := not My_R1.B;
  20
  21   Put ("Local_R1 :");
  22   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  23   New_Line;
  24   -- { dg-output "Local_R1 : e5 59 d1 48 b0 a0 c1 03.*\n" }
  25
  26   Local_R2.S1   := My_R2.S1 - 1;
  27   Local_R2.I    := My_R2.I + 1;
  28   Local_R2.S2   := My_R2.S2 - 1;
  29   Local_R2.N.C1 := My_R2.N.C1 mod 16;
  30   Local_R2.N.C2 := My_R2.N.C2 mod 16;
  31   Local_R2.N.C3 := My_R2.N.C3 mod 16;
  32   Local_R2.B    := not My_R2.B;
  33
  34   Put ("Local_R2 :");
  35   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  36   New_Line;
  37   -- { dg-output "Local_R2 : 44 8d 15 9e 40 58 34 1e.*\n" }
  38
  39   Local_R1 := (S1 => 2,
  40                I  => 16#12345678#,
  41                S2 => 1,
  42                N  => (16#AB#, 16#CD#, 16#EF#),
  43                B  => True);
  44   Put ("Local_R1 :");
  45   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  46   New_Line;
  47   -- { dg-output "Local_R1 : e2 59 d1 48 b4 aa d9 bb.*\n" }
  48
  49   Local_R2 := (S1 => 2,
  50                I  => 16#12345678#,
  51                S2 => 1,
  52                N  => (16#AB#, 16#CD#, 16#EF#),
  53                B  => True);
  54   Put ("Local_R2 :");
  55   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  56   New_Line;
  57   -- { dg-output "Local_R2 : 84 8d 15 9e 15 5b 35 df.*\n" }
  58
  59   Local_R1.S1   := Local_R1.S1 - 1;
  60   Local_R1.I    := Local_R1.I + 1;
  61   Local_R1.S2   := Local_R1.S2 - 1;
  62   Local_R1.N.C1 := Local_R1.N.C1 mod 16;
  63   Local_R1.N.C2 := Local_R1.N.C2 mod 16;
  64   Local_R1.N.C3 := Local_R1.N.C3 mod 16;
  65   Local_R1.B    := not Local_R1.B;
  66
  67   Put ("Local_R1 :");
  68   Dump (Local_R1'Address, R1'Max_Size_In_Storage_Elements);
  69   New_Line;
  70   -- { dg-output "Local_R1 : e5 59 d1 48 b0 a0 c1 03.*\n" }
  71
  72   Local_R2.S1   := Local_R2.S1 - 1;
  73   Local_R2.I    := Local_R2.I + 1;
  74   Local_R2.S2   := Local_R2.S2 - 1;
  75   Local_R2.N.C1 := Local_R2.N.C1 mod 16;
  76   Local_R2.N.C2 := Local_R2.N.C2 mod 16;
  77   Local_R2.N.C3 := Local_R2.N.C3 mod 16;
  78   Local_R2.B    := not Local_R2.B;
  79
  80   Put ("Local_R2 :");
  81   Dump (Local_R2'Address, R2'Max_Size_In_Storage_Elements);
  82   New_Line;
  83   -- { dg-output "Local_R2 : 44 8d 15 9e 40 58 34 1e.*\n" }
  84 end;