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] - Blame information for rev 455

Go to most recent revision | Details | Compare with Previous | 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;

Line No.	Rev	Author	Line
1	149	jeremybenn	`-- { dg-do compile }`
2			`-- { dg-options "-O2" }`
3
4			`with Ada.Text_IO; use Ada.Text_IO;`
5			`with Assert;`
6
7			`package body Controlled_Record is`
8
9			`procedure Assert_Invariants (PA : Point_T) is`
10			`PB : Point_T;`
11			`begin`
12			`Assert.Assert (PB.Pos = PA.Pos);`
13			`end;`
14
15			`end Controlled_Record;`

Browse

Tools

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.2.2/] [gcc/] [testsuite/] [gnat.dg/] [controlled_record.adb] - Blame information for rev 455