Fix expr iterator mutation bug

smowton · Nov 24, 2017 · 82d42e5 · 82d42e5
1 parent 8de0ea3
commit 82d42e5
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/util/expr_iterator.h b/src/util/expr_iterator.h
@@ -102,8 +102,12 @@ class depth_iterator_baset
   depth_iterator_t &next_sibling_or_parent()
   {
     PRECONDITION(!m_stack.empty());
-    m_stack.back().it=m_stack.back().end;
-    ++(*this);
+    m_stack.pop_back();
+    if(!m_stack.empty())
+    {
+      ++m_stack.back().it;
+      return ++(*this);
+    }
     return this->downcast();
   }