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

   1 -- { dg-do compile }
   2
   3 pragma Restrictions(No_Elaboration_Code);
   4
   5 with Elab4_Proc;
   6
   7 package Elab4 is
   8
   9   procedure My_G is new Elab4_Proc;
  10
  11 end Elab4;
  12
  13 -- { dg-final { scan-assembler-not "elabs" } }