gcc/testsuite/gnat.dg/div_no_warning.adb


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

--  { 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;