summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/genericppc.ads
blob: 494a8890b050088338c1ca8dcdf45113d0541393 (plain)
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);