1-- { dg-do run }
2
3with Init13; use Init13;
4with Ada.Numerics; use Ada.Numerics;
5with Text_IO; use Text_IO;
6with Dump;
7
8procedure T13 is
9
10  Local_R1 : R1;
11  Local_R2 : R2;
12
13begin
14  Local_R1.F := (My_R1.F.R + 1.0, My_R1.F.I + 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 db 0f 09 c0.*\n" }
20
21  Local_R2.F := (My_R2.F.R + 1.0, My_R2.F.I + 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 c0 09 0f db.*\n" }
27
28  Local_R1.F := (Pi, -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 db 0f 49 c0.*\n" }
34
35  Local_R2.F := (Pi, -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 c0 49 0f db.*\n" }
41
42  Local_R1.F := (Local_R1.F.R + 1.0, Local_R1.F.I + 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 db 0f 09 c0.*\n" }
48
49  Local_R2.F := (Local_R2.F.R + 1.0, Local_R2.F.I + 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 c0 09 0f db.*\n" }
55
56end;
57