re PR tree-optimization/71077 (gcc -lto raises ICE)

Fix PR tree-optimization/71077

gcc/ChangeLog:

	PR tree-optimization/71077
	* tree-ssa-threadedge.c (simplify_control_stmt_condition_1): In
	the combining step, use boolean_false_node and boolean_true_node
	as the designated false/true return values.

gcc/testsuite/ChangeLog:

	PR tree-optimization/71077
	* gcc.dg/tree-ssa/pr71077.c: New test.

From-SVN: r236973

1 files changed, 12 insertions, 14 deletions

diff --git a/gcc/tree-ssa-threadedge.c b/gcc/tree-ssa-threadedge.c
index 5fd5b98..de671b9 100644
--- a/gcc/tree-ssa-threadedge.c
+++ b/gcc/tree-ssa-threadedge.c
@@ -572,8 +572,6 @@ simplify_control_stmt_condition_1 (edge e,
 	  enum tree_code rhs_code = gimple_assign_rhs_code (def_stmt);
 	  const tree rhs1 = gimple_assign_rhs1 (def_stmt);
 	  const tree rhs2 = gimple_assign_rhs2 (def_stmt);
-	  const tree zero_cst = build_zero_cst (TREE_TYPE (op0));
-	  const tree one_cst = build_one_cst (TREE_TYPE (op0));
 
 	  /* Is A != 0 ?  */
 	  const tree res1
@@ -588,19 +586,19 @@ simplify_control_stmt_condition_1 (edge e,
 	    {
 	      /* If A == 0 then (A & B) != 0 is always false.  */
 	      if (cond_code == NE_EXPR)
-	        return zero_cst;
+	        return boolean_false_node;
 	      /* If A == 0 then (A & B) == 0 is always true.  */
 	      if (cond_code == EQ_EXPR)
-		return one_cst;
+		return boolean_true_node;
 	    }
 	  else if (rhs_code == BIT_IOR_EXPR && integer_nonzerop (res1))
 	    {
 	      /* If A != 0 then (A | B) != 0 is always true.  */
 	      if (cond_code == NE_EXPR)
-		return one_cst;
+		return boolean_true_node;
 	      /* If A != 0 then (A | B) == 0 is always false.  */
 	      if (cond_code == EQ_EXPR)
-		return zero_cst;
+		return boolean_false_node;
 	    }
 
 	  /* Is B != 0 ?  */
@@ -616,19 +614,19 @@ simplify_control_stmt_condition_1 (edge e,
 	    {
 	      /* If B == 0 then (A & B) != 0 is always false.  */
 	      if (cond_code == NE_EXPR)
-	        return zero_cst;
+	        return boolean_false_node;
 	      /* If B == 0 then (A & B) == 0 is always true.  */
 	      if (cond_code == EQ_EXPR)
-		return one_cst;
+		return boolean_true_node;
 	    }
 	  else if (rhs_code == BIT_IOR_EXPR && integer_nonzerop (res2))
 	    {
 	      /* If B != 0 then (A | B) != 0 is always true.  */
 	      if (cond_code == NE_EXPR)
-		return one_cst;
+		return boolean_true_node;
 	      /* If B != 0 then (A | B) == 0 is always false.  */
 	      if (cond_code == EQ_EXPR)
-		return zero_cst;
+		return boolean_false_node;
 	    }
 
 	  if (res1 != NULL_TREE && res2 != NULL_TREE)
@@ -640,10 +638,10 @@ simplify_control_stmt_condition_1 (edge e,
 		{
 		  /* If A != 0 and B != 0 then (bool)(A & B) != 0 is true.  */
 		  if (cond_code == NE_EXPR)
-		    return one_cst;
+		    return boolean_true_node;
 		  /* If A != 0 and B != 0 then (bool)(A & B) == 0 is false.  */
 		  if (cond_code == EQ_EXPR)
-		    return zero_cst;
+		    return boolean_false_node;
 		}
 
 	      if (rhs_code == BIT_IOR_EXPR
@@ -652,10 +650,10 @@ simplify_control_stmt_condition_1 (edge e,
 		{
 		  /* If A == 0 and B == 0 then (A | B) != 0 is false.  */
 		  if (cond_code == NE_EXPR)
-		    return zero_cst;
+		    return boolean_false_node;
 		  /* If A == 0 and B == 0 then (A | B) == 0 is true.  */
 		  if (cond_code == EQ_EXPR)
-		    return one_cst;
+		    return boolean_true_node;
 		}
 	    }
 	}