From 3ed09fc85b60e354906f881db1e2bbfa47331273 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 27 Feb 2012 11:52:27 -0600 Subject: Optimizations --- src/xact.cc | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/xact.cc') diff --git a/src/xact.cc b/src/xact.cc index ae571b62..b581db95 100644 --- a/src/xact.cc +++ b/src/xact.cc @@ -565,7 +565,6 @@ bool xact_t::valid() const } namespace { - bool post_pred(expr_t::ptr_op_t op, post_t& post) { switch (op->kind) { @@ -582,6 +581,9 @@ namespace { else break; + case expr_t::op_t::O_EQ: + return post_pred(op->left(), post) == post_pred(op->right(), post); + case expr_t::op_t::O_NOT: return ! post_pred(op->left(), post); @@ -604,8 +606,7 @@ namespace { throw_(calc_error, _("Unhandled operator")); return false; } - -} // unnamed namespace +} void auto_xact_t::extend_xact(xact_base_t& xact) { -- cgit v1.2.3