Fix bug in AstNode::mem2reg_as_needed_pass2()

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index de85355b5b0fcae5afc827a4d09294079c543f31..c1e77c6ec966949d5967bea12976cd319faf149f 100644 (file)
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -3079,6 +3079,8 @@ bool AstNode::mem2reg_as_needed_pass2(pool<AstNode*> &mem2reg_set, AstNode *mod,
 
                if (bit_part_sel)
                        children.push_back(bit_part_sel);
+
+               did_something = true;
        }
 
        log_assert(id2ast == NULL || mem2reg_set.count(id2ast) == 0);