2007-03-05 Richard Guenther <rguenther@suse.de>
PR tree-optimization/14052
* gcc.dg/tree-ssa/vrp33.c: New testcase.
From-SVN: r122559
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.
--- /dev/null
+/* { 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" } } */