gcc/testsuite/gnat.dg/dynamic_elab1.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatE" }
   3
   4 package body Dynamic_Elab1 is
   5
   6   function Get_Plot return Plot is
   7
   8     procedure Fill (X : out Plot) is
   9     begin
  10       X.Data := Get_R;
  11     end;
  12
  13   X : Plot;
  14
  15   begin
  16     Fill(X);
  17     return X;
  18   end;
  19
  20 end Dynamic_Elab1;