URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gnat.dg/] [controlled_record.adb] - Rev 384
Compare with Previous | Blame | View Log
-- { dg-do compile } -- { dg-options "-O2" } with Ada.Text_IO; use Ada.Text_IO; with Assert; package body Controlled_Record is procedure Assert_Invariants (PA : Point_T) is PB : Point_T; begin Assert.Assert (PB.Pos = PA.Pos); end; end Controlled_Record;