1--  { dg-do compile }
2
3procedure div_no_warning is
4   Flag : constant Boolean := False;
5   Var : Boolean := True;
6   function F return Boolean is
7   begin
8      return Var;
9   end F;
10   Int : Integer := 0;
11begin
12   if Flag and then F then
13      Int := Int / 0;
14   end if;
15end div_no_warning;
16