gcc/testsuite/gnat.dg/decl_ctx_use.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O1" }
   3 with DECL_CTX_Def; use DECL_CTX_Def;
   4 package body DECL_CTX_Use is
   5    procedure Check_1 is
   6    begin
   7       raise X;
   8    end;
   9
  10    procedure Check_2 is
  11    begin
  12       raise X;
  13    end;
  14 end;