URL https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk

Subversion Repositories openrisc_2011-10-31

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc1/] [gcc/] [testsuite/] [gnat.dg/] [controlled_record.adb] - Diff between revs 304 and 338

Rev 304	Rev 338
`-- { dg-do compile }`	`-- { dg-do compile }`
`-- { dg-options "-O2" }`	`-- { dg-options "-O2" }`

`with Ada.Text_IO; use Ada.Text_IO;`	`with Ada.Text_IO; use Ada.Text_IO;`
`with Assert;`	`with Assert;`

`package body Controlled_Record is`	`package body Controlled_Record is`

`procedure Assert_Invariants (PA : Point_T) is`	`procedure Assert_Invariants (PA : Point_T) is`
`PB : Point_T;`	`PB : Point_T;`
`begin`	`begin`
`Assert.Assert (PB.Pos = PA.Pos);`	`Assert.Assert (PB.Pos = PA.Pos);`
`end;`	`end;`

`end Controlled_Record;`	`end Controlled_Record;`