From c92d77212d70d505cb1641e3ea8eb72d0f310fdd Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@adacore.com>
Date: Wed, 20 Aug 2008 15:02:41 +0000
Subject: [PATCH] * gnat.dg/div_no_warning.adb: New test.

From-SVN: r139311
---
 gcc/testsuite/ChangeLog                  |  4 ++++
 gcc/testsuite/gnat.dg/div_no_warning.adb | 15 +++++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/div_no_warning.adb

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ac215ebf7f4c..6144a4cb78d2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-08-20  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat.dg/div_no_warning.adb: New test.
+
 2008-08-20  H.J. Lu  <hongjiu.lu@intel.com>
 
 	PR target/37169
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 000000000000..5b652638ca43
--- /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;
-- 
2.47.2