RISC-V: Add support for riscv-*-*.
[official-gcc.git] / gcc / testsuite / gnat.dg / div_no_warning.adb
blob5b652638ca43d250c5e57329555c8fbac5839a6f
1 -- { dg-do compile }
3 procedure 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;
11 begin
12 if Flag and then F then
13 Int := Int / 0;
14 end if;
15 end div_no_warning;