gcc/testsuite/gnat.dg/assert1.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnatws" }
   3
   4 pragma Assertion_Policy (Check);
   5
   6 procedure assert1 is
   7    Int128 : constant Boolean := Standard'Max_Integer_Size = 128;
   8    type p1 is array (1 .. 113) of Boolean;
   9    pragma Pack (p1);
  10    type p2 is array (1 .. 13) of Boolean;
  11    pragma Pack (p2);
  12    type p3 is array (1 .. 113) of Boolean;
  13    pragma Pack (p3);
  14    for p3'size use 113;
  15    type p4 is array (1 .. 13) of Boolean;
  16    pragma Pack (p4);
  17    for p4'size use 13;
  18    v1 : p1;
  19    v2 : p2;
  20    v3 : p3;
  21    v4 : p4;
  22 begin
  23    pragma Assert (p1'Size = (if Int128 then 113 else 120));
  24    pragma Assert (p2'Size = 13);
  25    pragma Assert (p3'Size = 113);
  26    pragma Assert (p4'Size = 13);
  27    pragma Assert (p1'Value_Size = (if Int128 then 113 else 120));
  28    pragma Assert (p2'Value_Size = 13);
  29    pragma Assert (p3'Value_Size = 113);
  30    pragma Assert (p4'Value_Size = 13);
  31    pragma Assert (p1'Object_Size = (if Int128 then 128 else 120));
  32    pragma Assert (p2'Object_Size = 16);
  33    pragma Assert (p3'Object_Size = (if Int128 then 128 else 120));
  34    pragma Assert (p4'Object_Size = 16);
  35    pragma Assert (v1'Size = (if Int128 then 128 else 120));
  36    pragma Assert (v2'Size = 16);
  37    pragma Assert (v3'Size = (if Int128 then 128 else 120));
  38    pragma Assert (v4'Size = 16);
  39    null;
  40 end;