OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

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

Go to most recent revision | Details | Compare with Previous | View Log

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;

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.