[PATCH] Fix parts of PR54362

[Richard Guenther]

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.

Richard.

2012-09-03  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/54362
	* tree-ssa-structalias.c (find_func_aliases): Handle COND_EXPR.

Index: gcc/tree-ssa-structalias.c
===================================================================
--- gcc/tree-ssa-structalias.c	(revision 190620)
+++ gcc/tree-ssa-structalias.c	(working copy)
@@ -4527,6 +4527,18 @@ find_func_aliases (gimple origt)
 			 && !POINTER_TYPE_P (TREE_TYPE (rhsop))))
 		   || gimple_assign_single_p (t))
 	    get_constraint_for_rhs (rhsop, &rhsc);
+	  else if (code == COND_EXPR)
+	    {
+	      /* The result is a merge of both COND_EXPR arms.  */
+	      VEC (ce_s, heap) *tmp = NULL;
+	      struct constraint_expr *rhsp;
+	      unsigned i;
+	      get_constraint_for_rhs (gimple_assign_rhs2 (t), &rhsc);
+	      get_constraint_for_rhs (gimple_assign_rhs3 (t), &tmp);
+	      FOR_EACH_VEC_ELT (ce_s, tmp, i, rhsp)
+		VEC_safe_push (ce_s, heap, rhsc, rhsp);
+	      VEC_free (ce_s, heap, tmp);
+	    }
 	  else if (truth_value_p (code))
 	    /* Truth value results are not pointer (parts).  Or at least
 	       very very unreasonable obfuscation of a part.  */