gcc/testsuite/gnat.dg/debug12.adb

--  { dg-do compile }
--  { dg-skip-if "No Dwarf" { { hppa*-*-hpux* } && { ! lp64 } } }
--  { dg-options "-cargs -gdwarf-4 -fdebug-types-section -dA -margs" }
--  { dg-final { scan-assembler-times "DW_AT_location" 4 } }

package body Debug12 is
   function Get_A2 return Boolean is
   begin
      return A2;
   end Get_A2;
end Debug12;