[PATCH] Add a testcase for the fixed PR14052

Richard Guenther rguenther@suse.de
Mon Mar 5 17:02:00 GMT 2007


which was fixed by the patch for PR15911.  Applied to mainline.

Richard.

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

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

Index: testsuite/gcc.dg/tree-ssa/vrp33.c
===================================================================
*** testsuite/gcc.dg/tree-ssa/vrp33.c	(revision 0)
--- testsuite/gcc.dg/tree-ssa/vrp33.c	(revision 0)
***************
*** 0 ****
--- 1,9 ----
+ /* { 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" } } */



More information about the Gcc-patches mailing list