OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gnat.dg/] [assert1.adb] - Rev 696

Compare with Previous | Blame | View Log

--  { 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;
 

Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.