This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[PATCH] Add a testcase for the fixed PR14052


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" } } */


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]