We now optimize it better via tail-merging & reassoc before VRP2
can transform the 2nd test to !=. The following restores the
input to VRP to match the original testcase expectations.
Committed.
Richard.
2013-02-11 Richard Biener <rguent...@suse.de>
* gcc.dg/tree-ssa/vrp17.c: Disable tail-merging.
Index: gcc/testsuite/gcc.dg/tree-ssa/vrp17.c
===================================================================
--- gcc/testsuite/gcc.dg/tree-ssa/vrp17.c (revision 195940)
+++ gcc/testsuite/gcc.dg/tree-ssa/vrp17.c (working copy)
@@ -1,5 +1,5 @@
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-vrp2" } */
+/* { dg-options "-O2 -fno-tree-tail-merge -fdump-tree-vrp2" } */
extern void abort (void) __attribute__ ((__noreturn__));
union tree_node;
