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

Details | Compare with Previous | 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);

Line No.	Rev	Author	Line
1	304	jeremybenn	`-- { dg-do compile }`
2			`-- { dg-options "-gnatc" }`
3
4			`generic`
5			`type T_Item is private;`
6			`function genericppc (T : in t_Item; I : integer) return integer;`
7			`pragma Precondition (I > 0);`

Browse

Tools

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [specs/] [genericppc.ads] - Blame information for rev 304