main/gcc/testsuite/gnat.dg/specs/debug1.ads

   1 -- { dg-do compile { target *-*-linux* } }
   2 -- { dg-options "-gdwarf-2 -cargs -dA -margs" }
   3
   4 package Debug1 is
   5
   6   function N return Integer;
   7   pragma Import (Ada, N);
   8
   9   type Arr is array (-N .. N) of Boolean;
  10   A : Arr;
  11
  12 end Debug1;
  13
  14 -- { dg-final { scan-assembler-times "DW_AT_artificial" 17 } }