tree-vrp.c (remove_range_assertions): Do not update statements unnecessarily.

	* tree-vrp.c (remove_range_assertions): Do not update statements unnecessarily.

From-SVN: r111654

gcc/ChangeLog

 2006-03-02  Zdenek Dvorak <dvorakz@suse.cz>
 
+	* tree-vrp.c (remove_range_assertions): Do not update statements unnecessarily.
+
+2006-03-02  Zdenek Dvorak <dvorakz@suse.cz>
+
 	* cse.c (rest_of_handle_cse): Do not pass CLEANUP_PRE_LOOP to cfg
 	cleanup.
 	* gcse.c (rest_of_handle_gcse): Ditto.

gcc/tree-vrp.c

@@ -3198,21 +3198,19 @@ remove_range_assertions (void)
 	if (TREE_CODE (stmt) == MODIFY_EXPR
 	    && TREE_CODE (TREE_OPERAND (stmt, 1)) == ASSERT_EXPR)
 	  {
-	    tree rhs = TREE_OPERAND (stmt, 1);
+	    tree rhs = TREE_OPERAND (stmt, 1), var;
 	    tree cond = fold (ASSERT_EXPR_COND (rhs));
 	    use_operand_p use_p;
 	    imm_use_iterator iter;
 
 	    gcc_assert (cond != boolean_false_node);
-	    TREE_OPERAND (stmt, 1) = ASSERT_EXPR_VAR (rhs);
-	    update_stmt (stmt);
 
-	    /* The statement is now a copy.  Propagate the RHS into
-	       every use of the LHS.  */
+	    /* Propagate the RHS into every use of the LHS.  */
+	    var = ASSERT_EXPR_VAR (rhs);
 	    FOR_EACH_IMM_USE_SAFE (use_p, iter, TREE_OPERAND (stmt, 0))
 	      {
-		SET_USE (use_p, ASSERT_EXPR_VAR (rhs));
-		update_stmt (USE_STMT (use_p));
+		SET_USE (use_p, var);
+		gcc_assert (TREE_CODE (var) == SSA_NAME);
 	      }
 
 	    /* And finally, remove the copy, it is not needed.  */