From b731d02adc9537477bdf22a2c82c749464bf66ed Mon Sep 17 00:00:00 2001 From: Miguel Angelo Da Terra Neves Date: Fri, 15 Dec 2017 13:56:59 -0800 Subject: [PATCH] fixes Signed-off-by: Miguel Angelo Da Terra Neves --- src/ast/ast_translation.cpp | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/src/ast/ast_translation.cpp b/src/ast/ast_translation.cpp index a57e5d194..51f198929 100644 --- a/src/ast/ast_translation.cpp +++ b/src/ast/ast_translation.cpp @@ -48,14 +48,11 @@ void ast_translation::reset_cache() { void ast_translation::cache(ast * s, ast * t) { SASSERT(!m_cache.contains(s)); if (s->get_ref_count() > 1) { - if (m_insert_count > (1 << 17)) { - reset_cache(); - m_insert_count = 0; - } - m_cache.insert(s, t); - ++m_insert_count; m_from_manager.inc_ref(s); m_to_manager.inc_ref(t); + m_cache.insert(s, t); + ++m_insert_count; + } } @@ -81,8 +78,8 @@ void ast_translation::push_frame(ast * n) { } bool ast_translation::visit(ast * n) { - ast * r; if (n->get_ref_count() > 1) { + ast * r; if (m_cache.find(n, r)) { m_result_stack.push_back(r); ++m_hit_count;