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