gcc/testsuite/gnat.dg/specs/renamings.ads


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

package Renamings 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 Renamings;