gcc/testsuite/gnat.dg/blocklocs.adb

   1 -- { dg-do compile { target *-*-linux* } }
   2 -- { dg-options "-gdwarf-2" }
   3
   4 procedure Blocklocs (Choice : Integer; N : in out Integer) is
   5 begin
   6    if Choice > 0 then
   7       declare -- line 7
   8          S : String (1 .. N * 2);
   9          pragma Volatile (S);
  10       begin
  11          S := (others => 'B');
  12       end;    -- line 12
  13    else
  14       declare -- line 14
  15          S : String (1 .. N );
  16          pragma Volatile (S);
  17       begin
  18          S := (others => '1');
  19       end;    -- line 19
  20    end if;
  21 end;
  22
  23 -- { dg-final { scan-assembler "loc 1 7" } }
  24 -- { dg-final { scan-assembler "loc 1 12" } }
  25 -- { dg-final { scan-assembler "loc 1 14" } }
  26 -- { dg-final { scan-assembler "loc 1 19" } }