re PR tree-optimization/56273 (Bogus -Warray-bounds warning)

2013-02-11  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/56273
	* gcc.dg/tree-ssa/vrp17.c: Disable tail-merging.

From-SVN: r195942

gcc/testsuite/ChangeLog

 2013-02-11  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/56273
+	* gcc.dg/tree-ssa/vrp17.c: Disable tail-merging.
+
+2013-02-11  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/56264
 	* gcc.dg/torture/pr56264.c: New testcase.
 

gcc/testsuite/gcc.dg/tree-ssa/vrp17.c

 /* { 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;