16 lines
293 B
Ada
16 lines
293 B
Ada
|
-- { 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;
|