From: Jeff Law <law@redhat.com>
Date: Tue, 21 Mar 2006 03:44:56 +0000 (-0700)
Subject: 20030807-2.c: Make sure to run VRP.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=39a404c5abc2a0254f8fcfbb46444fa9b7116729;p=gcc.git

20030807-2.c: Make sure to run VRP.

        * gcc.dg/tree-ssa/20030807-2.c: Make sure to run VRP.

From-SVN: r112240
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 210dbfc7add..bdb9512c139 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2006-03-20  Jeff Law  <law@redhat.com>
+
+	* gcc.dg/tree-ssa/20030807-2.c: Make sure to run VRP.
+
 2006-03-20  Richard Sandiford  <richard@codesourcery.com>
 
 	* lib/target-supports.exp (check_no_compiler_messages): New procedure.
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20030807-2.c b/gcc/testsuite/gcc.dg/tree-ssa/20030807-2.c
index 29e793e3622..06a8a83ba9e 100644
--- a/gcc/testsuite/gcc.dg/tree-ssa/20030807-2.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/20030807-2.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O1 -fdump-tree-dom3" } */
+/* { dg-options "-O1 -ftree-vrp -fdump-tree-dom3" } */
      
 extern void abort (void);