gcc/testsuite/gnat.dg/fatp_sra.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatp -O1" }
   3
   4 procedure Fatp_Sra is
   5
   6    function X return String is
   7    begin
   8       return "X";
   9    end;
  10
  11    function Letter return String is
  12    begin
  13       return X;
  14    end;
  15 begin
  16    null;
  17 end;