URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [specs/] [genericppc.ads] - Rev 484
Go to most recent revision | Compare with Previous | Blame | View Log
-- { dg-do compile } -- { dg-options "-gnatc" } generic type T_Item is private; function genericppc (T : in t_Item; I : integer) return integer; pragma Precondition (I > 0);
Go to most recent revision | Compare with Previous | Blame | View Log