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