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

From-SVN: r125007

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 03f611250493516d5a0c9b2ae7a7ceb61a7d9e3c..8abebbe1eded1db341350e5d89e1ca5376cdeeae 100644 (file)
--- 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 (file)
index 0000000..0a798c9
--- /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);