summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/div_no_warning.adb
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;