re PR tree-optimization/14052 (Combiner weakness)

2007-03-05  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/14052
	* gcc.dg/tree-ssa/vrp33.c: New testcase.

From-SVN: r122559

gcc/testsuite/ChangeLog

 2007-03-05  Richard Guenther  <rguenther@suse.de>
 
+	PR tree-optimization/14052
+	* gcc.dg/tree-ssa/vrp33.c: New testcase.
+
+2007-03-05  Richard Guenther  <rguenther@suse.de>
+
 	PR tree-optimization/23777
 	* gcc.dg/tree-ssa/pr23777.c: New testcase.
 

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

+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-vrp1" } */
+
+/* This is from PR14052.  */
+
+int f2(int x) { return x == 1 || x == 3 || x == 1; }
+
+/* { dg-final { scan-tree-dump "Folding predicate.*== 1 to 0" "vrp1" } } */
+/* { dg-final { cleanup-tree-dump "vrp1" } } */