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

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