gcc/testsuite/gnat.dg/inline19.adb

--  { dg-do compile }
--  { dg-options "-O2" }

package body Inline19 is

   S : String := "Hello";

   protected body P is
      function F return String is
      begin
         return Result : constant String := S do
            null;
         end return;
      end F;
   end P;

end Inline19;