genericppc.ads « specs « gnat.dg « testsuite « gcc - cbb-gcc-4.6.4 - compiler building blocks: cbb-gcc-4.6.4: including full support for the midipix targets

summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/specs/genericppc.ads

blob: 494a8890b050088338c1ca8dcdf45113d0541393 (plain)

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