gcc-4.9/gcc/testsuite/gnat.dg/specs/genericppc.ads


1
2
3
4
5
6
7

--  { 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);