diff options
Diffstat (limited to 'gcc/tree-ssa-propagate.c')
| -rw-r--r-- | gcc/tree-ssa-propagate.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/tree-ssa-propagate.c b/gcc/tree-ssa-propagate.c index b9b308e..07b13e3 100644 --- a/gcc/tree-ssa-propagate.c +++ b/gcc/tree-ssa-propagate.c @@ -1018,11 +1018,15 @@ static bool fold_predicate_in (tree stmt) { tree *pred_p = NULL; + bool modify_expr_p = false; tree val; if (TREE_CODE (stmt) == MODIFY_EXPR && COMPARISON_CLASS_P (TREE_OPERAND (stmt, 1))) - pred_p = &TREE_OPERAND (stmt, 1); + { + modify_expr_p = true; + pred_p = &TREE_OPERAND (stmt, 1); + } else if (TREE_CODE (stmt) == COND_EXPR) pred_p = &COND_EXPR_COND (stmt); else @@ -1031,6 +1035,9 @@ fold_predicate_in (tree stmt) val = vrp_evaluate_conditional (*pred_p, true); if (val) { + if (modify_expr_p) + val = fold_convert (TREE_TYPE (*pred_p), val); + if (dump_file) { fprintf (dump_file, "Folding predicate "); |