[patch] PR23049

[Jeffrey A Law]

On Thu, 2005-09-29 at 16:52 +0200, Steven Bosscher wrote:
> Hi,
> 
> This is a new fix for PR23049, which is an infinite loop and eventually
> an ICE in fold, when it tries to fold expressions like "0 == 0 ? a : b",
> because it expects the "0 == 0" to be folded already.
> 
> (See http://gcc.gnu.org/ml/gcc-patches/2005-09/msg01084.html for the old
> proposed fix for this PR.)
> 
> This patch nukes a few failures in the testsuite if you run it with
> -ftree-vectorize.  Andrew Pinski knows more about that...
> 
> Bootstrapped and tested on x86_64-linux.  OK for mainline?
> 
> Gr.
> Steven
> 
> 
> 
> gcc/
> 	PR tree-optimization/23049
> 	* tree-ssa-dom.c (thread_across_edge): Make sure that the condition
> 	of a COND_EXPR is folded before calling fold on the whole rhs of a
> 	conditional assignment.
> 	* doc/tree-ssa.texi: Update the GIMPLE grammar for a valid rhs to
> 	document that a COND_EXPR may appear there.
> 
> testsuite/
> 	* gcc.dg/pr23049.c: New test.
Approved.  Thanks,
Jeff