gcc/testsuite/gnat.dg/ghost4.adb

   1 pragma Restrictions (No_Secondary_Stack);
   2
   3 procedure Ghost4 is
   4
   5    procedure Dummy with Ghost is
   6       function Slice (S : String) return String is
   7          (S (S'First .. S'First + 3));
   8
   9       X : String := Slice ("hello");
  10    begin
  11          null;
  12    end Dummy;
  13 begin
  14    Dummy;
  15 end Ghost4;