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

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