URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [assert1.adb] - Rev 414
Go to most recent revision | 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;
Go to most recent revision | Compare with Previous | Blame | View Log