1-- { dg-do compile }
2
3procedure 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
16begin
17   Nested;
18end;
19