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