1--  { dg-do compile }
2--  { dg-options "-gnatp -O1" }
3
4procedure 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;
15begin
16   null;
17end;
18