2 -- { dg-options "-gnatws" }
4 pragma Assertion_Policy (Check);
5 with Text_IO; use Text_IO;
7 type p1 is array (1 .. 113) of Boolean;
9 type p2 is array (1 .. 13) of Boolean;
11 type p3 is array (1 .. 113) of Boolean;
14 type p4 is array (1 .. 13) of Boolean;
22 pragma Assert (p1'Size = 120);
23 pragma Assert (p2'Size = 13);
24 pragma Assert (p3'Size = 113);
25 pragma Assert (p4'Size = 13);
26 pragma Assert (p1'Value_Size = 120);
27 pragma Assert (p2'Value_Size = 13);
28 pragma Assert (p3'Value_Size = 113);
29 pragma Assert (p4'Value_Size = 13);
30 pragma Assert (p1'Object_Size = 120);
31 pragma Assert (p2'Object_Size = 16);
32 pragma Assert (p3'Object_Size = 120);
33 pragma Assert (p4'Object_Size = 16);
34 pragma Assert (v1'Size = 120);
35 pragma Assert (v2'Size = 16);
36 pragma Assert (v3'Size = 120);
37 pragma Assert (v4'Size = 16);