Fix iterator comparison bug in expr_iterator

smowton · Nov 24, 2017 · 6297085 · 6297085
1 parent af314f5
commit 6297085
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/util/expr_iterator.h b/src/util/expr_iterator.h
@@ -53,7 +53,10 @@ struct depth_iterator_expr_statet final
 inline bool operator==(
   const depth_iterator_expr_statet &left,
   const depth_iterator_expr_statet &right)
-{ return left.it==right.it && left.expr.get()==right.expr.get(); }
+{
+  return distance(left.it, left.end) == distance(right.it, right.end) &&
+         left.expr.get() == right.expr.get();
+}
 
 /// Depth first search iterator base - iterates over supplied expression
 /// and all its operands recursively.