gcc/testsuite/gnat.dg/div_no_warning.adb

--  { dg-do compile }

procedure div_no_warning is
   Flag : constant Boolean := False;
   Var : Boolean := True; 
   function F return Boolean is
   begin
      return Var;
   end F;
   Int : Integer := 0;
begin
   if Flag and then F then
      Int := Int / 0;
   end if;
end div_no_warning;