gcc/testsuite/gnat.dg/return1.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatwa" }
   3
   4 package body return1 is
   5     function X_Func (O : access Child) return access Base'Class is
   6     begin
   7        return X_Local : access Base'Class do
   8           X_Local := O;
   9        end return;
  10     end X_Func;
  11 end return1;