1 files changed, 15 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/div_no_warning.adb b/gcc/testsuite/gnat.dg/div_no_warning.adb
new file mode 100644
index 000000000..5b652638c
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/div_no_warning.adb
@@ -0,0 +1,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;