gcc/testsuite/gnat.dg/warn7.adb

   1 -- { dg-do compile }
   2
   3 procedure Warn7 is
   4
   5    procedure Nested;
   6    pragma No_Return (Nested);
   7
   8    procedure Nested is
   9    begin
  10       raise Constraint_Error;
  11    exception
  12       when Constraint_Error =>
  13          raise;
  14    end;
  15
  16 begin
  17    Nested;
  18 end;