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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

-- { dg-do compile }

package Renaming1 is

   package Inner is
      procedure PI (X : Integer);
   end Inner;

   procedure P (X : Integer) renames Inner.PI;
   procedure P (X : Float);
   pragma Convention (C, P); -- { dg-error "non-local entity" }

   procedure Q (X : Float);
   procedure Q (X : Integer) renames Inner.PI;
   pragma Convention (C, Q); -- { dg-error "non-local entity" }
end Renaming1;