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

Subversion Repositories openrisc

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gnat.dg/] [specs/] [genericppc.ads] - Blame information for rev 384

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

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gnat.dg/] [specs/] [genericppc.ads] - Blame information for rev 384