gcc/testsuite/gnat.dg/div_no_warning.adb

   1 --  { dg-do compile }
   2
   3 procedure 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;
  11 begin
  12    if Flag and then F then
  13       Int := Int / 0;
  14    end if;
  15 end div_no_warning;