gcc-4.9/gcc/testsuite/gnat.dg/warn7.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

-- { dg-do compile }

procedure Warn7 is

   procedure Nested;
   pragma No_Return (Nested);

   procedure Nested is
   begin
      raise Constraint_Error;
   exception
      when Constraint_Error =>
         raise;
   end;

begin
   Nested;
end;