fx

Author: kroening

src/util/simplify_expr.cpp

@@ -1404,15 +1404,17 @@ bool simplify_exprt::simplify_if(if_exprt &expr)
 
     auto range_false = make_range(falsevalue_copy.operands());
     auto range_true = make_range(truevalue_copy.operands());
+    auto new_expr = truevalue;
+    new_expr.operands().clear();
 
-    for(auto &pair : range_true.zip(range_false))
+    for(const auto &pair : range_true.zip(range_false))
     {
       if_exprt if_expr(cond_copy, pair.first, pair.second);
       simplify_if(if_expr);
-      pair.first = std::move(if_expr);
+      new_expr.operands().push_back(std::move(if_expr));
     }
 
-    expr.swap(truevalue_copy);
+    expr.swap(new_expr);
 
     return false;
   }