URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [specs/] [genericppc.ads] - Rev 304
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);