gcc/testsuite/gnat.dg/debug7.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-cargs -gdwarf-2 -gstrict-dwarf -dA -margs" }
   3 -- { dg-final { scan-assembler "DW_TAG_imported_decl" } }
   4
   5 package body Debug7 is
   6    function Next (I : Integer) return Integer is
   7    begin
   8       return I + 1;
   9    end Next;
  10 end Debug7;