mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-21 15:50:50 +08:00
Fix oversight.
From-SVN: r131532
This commit is contained in:
parent
052cec9b0e
commit
0fa8f2bcd4
@ -1,101 +0,0 @@
|
||||
-- { dg-do compile }
|
||||
|
||||
with Ada.Text_IO; use Ada.Text_IO;
|
||||
|
||||
procedure Rep_Problem2 is
|
||||
|
||||
type Int_16 is range 0 .. 65535;
|
||||
for Int_16'Size use 16;
|
||||
|
||||
----------------------------------------------
|
||||
|
||||
type Rec_A is
|
||||
record
|
||||
Int_1 : Int_16;
|
||||
Int_2 : Int_16;
|
||||
Int_3 : Int_16;
|
||||
Int_4 : Int_16;
|
||||
end record;
|
||||
|
||||
|
||||
for Rec_A use record
|
||||
Int_1 at 0 range 0 .. 15;
|
||||
Int_2 at 2 range 0 .. 15;
|
||||
Int_3 at 4 range 0 .. 15;
|
||||
Int_4 at 6 range 0 .. 15;
|
||||
end record;
|
||||
|
||||
Rec_A_Size : constant := 4 * 16;
|
||||
|
||||
for Rec_A'Size use Rec_A_Size;
|
||||
|
||||
----------------------------------------------
|
||||
|
||||
type Rec_B_Version_1 is
|
||||
record
|
||||
Rec_1 : Rec_A;
|
||||
Rec_2 : Rec_A;
|
||||
Int_1 : Int_16;
|
||||
end record;
|
||||
|
||||
for Rec_B_Version_1 use record
|
||||
Rec_1 at 0 range 0 .. 63;
|
||||
Rec_2 at 8 range 0 .. 63;
|
||||
Int_1 at 16 range 0 .. 15;
|
||||
end record;
|
||||
|
||||
Rec_B_Size : constant := 2 * Rec_A_Size + 16;
|
||||
|
||||
for Rec_B_Version_1'Size use Rec_B_Size;
|
||||
for Rec_B_Version_1'Alignment use 2;
|
||||
|
||||
----------------------------------------------
|
||||
|
||||
type Rec_B_Version_2 is
|
||||
record
|
||||
Int_1 : Int_16;
|
||||
Rec_1 : Rec_A;
|
||||
Rec_2 : Rec_A;
|
||||
end record;
|
||||
|
||||
for Rec_B_Version_2 use record
|
||||
Int_1 at 0 range 0 .. 15;
|
||||
Rec_1 at 2 range 0 .. 63;
|
||||
Rec_2 at 10 range 0 .. 63;
|
||||
end record;
|
||||
|
||||
for Rec_B_Version_2'Size use Rec_B_Size;
|
||||
|
||||
----------------------------------------------
|
||||
|
||||
Arr_A_Length : constant := 2;
|
||||
Arr_A_Size : constant := Arr_A_Length * Rec_B_Size;
|
||||
|
||||
type Arr_A_Version_1 is array (1 .. Arr_A_Length) of Rec_B_Version_1;
|
||||
type Arr_A_Version_2 is array (1 .. Arr_A_Length) of Rec_B_Version_2;
|
||||
|
||||
pragma Pack (Arr_A_Version_1);
|
||||
pragma Pack (Arr_A_Version_2);
|
||||
|
||||
for Arr_A_Version_1'Size use Arr_A_Size;
|
||||
for Arr_A_Version_2'Size use Arr_A_Size;
|
||||
|
||||
----------------------------------------------
|
||||
|
||||
begin
|
||||
-- Put_Line ("Arr_A_Size =" & Arr_A_Size'Img);
|
||||
|
||||
if Arr_A_Version_1'Size /= Arr_A_Size then
|
||||
Ada.Text_IO.Put_Line
|
||||
("Version 1 Size mismatch! " &
|
||||
"Arr_A_Version_1'Size =" & Arr_A_Version_1'Size'Img);
|
||||
end if;
|
||||
|
||||
if Arr_A_Version_2'Size /= Arr_A_Size then
|
||||
Ada.Text_IO.Put_Line
|
||||
("Version 2 Size mismatch! " &
|
||||
"Arr_A_Version_2'Size =" & Arr_A_Version_2'Size'Img);
|
||||
|
||||
end if;
|
||||
|
||||
end Rep_Problem2;
|
Loading…
x
Reference in New Issue
Block a user