blob: 5b652638ca43d250c5e57329555c8fbac5839a6f [file] [log] [blame]
-- { 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;