gcc/testsuite/gnat.dg/return3.adb

   1 -- { dg-do compile { target *-*-linux* } }
   2 -- { dg-options "-gdwarf-2 -dA" }
   3
   4 procedure Return3 is
   5 begin
   6   return;
   7 end;
   8
   9 -- { dg-final { scan-assembler "loc 1 6" } }