blob: 5b652638ca43d250c5e57329555c8fbac5839a6f (
plain)
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;
|
