-- { dg-do run }
|
-- { dg-do run }
|
-- { dg-options "-gnatws" }
|
-- { dg-options "-gnatws" }
|
|
|
pragma Assertion_Policy (Check);
|
pragma Assertion_Policy (Check);
|
with Text_IO; use Text_IO;
|
with Text_IO; use Text_IO;
|
procedure assert1 is
|
procedure assert1 is
|
type p1 is array (1 .. 113) of Boolean;
|
type p1 is array (1 .. 113) of Boolean;
|
pragma Pack (p1);
|
pragma Pack (p1);
|
type p2 is array (1 .. 13) of Boolean;
|
type p2 is array (1 .. 13) of Boolean;
|
pragma Pack (p2);
|
pragma Pack (p2);
|
type p3 is array (1 .. 113) of Boolean;
|
type p3 is array (1 .. 113) of Boolean;
|
pragma Pack (p3);
|
pragma Pack (p3);
|
for p3'size use 113;
|
for p3'size use 113;
|
type p4 is array (1 .. 13) of Boolean;
|
type p4 is array (1 .. 13) of Boolean;
|
pragma Pack (p4);
|
pragma Pack (p4);
|
for p4'size use 13;
|
for p4'size use 13;
|
v1 : p1;
|
v1 : p1;
|
v2 : p2;
|
v2 : p2;
|
v3 : p3;
|
v3 : p3;
|
v4 : p4;
|
v4 : p4;
|
begin
|
begin
|
pragma Assert (p1'Size = 120);
|
pragma Assert (p1'Size = 120);
|
pragma Assert (p2'Size = 13);
|
pragma Assert (p2'Size = 13);
|
pragma Assert (p3'Size = 113);
|
pragma Assert (p3'Size = 113);
|
pragma Assert (p4'Size = 13);
|
pragma Assert (p4'Size = 13);
|
pragma Assert (p1'Value_Size = 120);
|
pragma Assert (p1'Value_Size = 120);
|
pragma Assert (p2'Value_Size = 13);
|
pragma Assert (p2'Value_Size = 13);
|
pragma Assert (p3'Value_Size = 113);
|
pragma Assert (p3'Value_Size = 113);
|
pragma Assert (p4'Value_Size = 13);
|
pragma Assert (p4'Value_Size = 13);
|
pragma Assert (p1'Object_Size = 120);
|
pragma Assert (p1'Object_Size = 120);
|
pragma Assert (p2'Object_Size = 16);
|
pragma Assert (p2'Object_Size = 16);
|
pragma Assert (p3'Object_Size = 120);
|
pragma Assert (p3'Object_Size = 120);
|
pragma Assert (p4'Object_Size = 16);
|
pragma Assert (p4'Object_Size = 16);
|
pragma Assert (v1'Size = 120);
|
pragma Assert (v1'Size = 120);
|
pragma Assert (v2'Size = 16);
|
pragma Assert (v2'Size = 16);
|
pragma Assert (v3'Size = 120);
|
pragma Assert (v3'Size = 120);
|
pragma Assert (v4'Size = 16);
|
pragma Assert (v4'Size = 16);
|
null;
|
null;
|
end;
|
end;
|
|
|