URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.2.2/] [gcc/] [testsuite/] [gnat.dg/] [controlled_record.adb] - Rev 154
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;