From: Ian Lance Taylor <iant@google.com>
Date: Wed, 23 May 2007 23:00:54 +0000 (+0000)
Subject: * g++.dg/other/vrp1.C: New test.
X-Git-Tag: releases/gcc-4.3.0~4947
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b9a97851b5cbf9d615dbced763ff1cd81cb5482a;p=thirdparty%2Fgcc.git

* g++.dg/other/vrp1.C: New test.

From-SVN: r125007
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 03f611250493..8abebbe1eded 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2007-05-23  Ian Lance Taylor  <iant@google.com>
+
+	* g++.dg/other/vrp1.C: New test.
+
 2007-05-23  Simon Martin  <simartin@users.sourceforge.net>
 
 	PR preprocessor/20077
diff --git a/gcc/testsuite/g++.dg/other/vrp1.C b/gcc/testsuite/g++.dg/other/vrp1.C
new file mode 100644
index 000000000000..0a798c9954ef
--- /dev/null
+++ b/gcc/testsuite/g++.dg/other/vrp1.C
@@ -0,0 +1,12 @@
+// { dg-do compile }
+// { dg-options "-O2" }
+// This caused a crash in VRP because TREE_OVERFLOW was set for MIN.
+
+template<long long MIN>
+long long mod (long long l, long long r)
+{
+  if (l == MIN && r == -1)
+    return 0LL;
+  return l % r;
+}
+template long long mod<-0x8000000000000000LL> (long long, long long);