1--  { dg-do compile }
2--  { dg-options "-O2" }
3
4package body Inline19 is
5
6   S : String := "Hello";
7
8   protected body P is
9      function F return String is
10      begin
11         return Result : constant String := S do
12            null;
13         end return;
14      end F;
15   end P;
16
17end Inline19;
18