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

   1 -- { dg-do compile }
   2
   3 package Renaming1 is
   4
   5    package Inner is
   6       procedure PI (X : Integer);
   7    end Inner;
   8
   9    procedure P (X : Integer) renames Inner.PI;
  10    procedure P (X : Float);
  11    pragma Convention (C, P); -- { dg-error "non-local entity" }
  12
  13    procedure Q (X : Float);
  14    procedure Q (X : Integer) renames Inner.PI;
  15    pragma Convention (C, Q); -- { dg-error "non-local entity" }
  16 end Renaming1;