diff options
Diffstat (limited to 'lib/Solver/Solver.cpp')
| -rw-r--r-- | lib/Solver/Solver.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp index a673e9e7..936f252d 100644 --- a/lib/Solver/Solver.cpp +++ b/lib/Solver/Solver.cpp @@ -172,7 +172,10 @@ std::pair< ref<Expr>, ref<Expr> > Solver::getRange(const Query& query) { width)), ConstantExpr::create(0, width))), res); + assert(success && "FIXME: Unhandled solver failure"); + (void) success; + if (res) { hi = mid; } else { @@ -191,7 +194,10 @@ std::pair< ref<Expr>, ref<Expr> > Solver::getRange(const Query& query) { mayBeTrue(query.withExpr(EqExpr::create(e, ConstantExpr::create(0, width))), res); + assert(success && "FIXME: Unhandled solver failure"); + (void) success; + if (res) { min = 0; } else { @@ -205,7 +211,10 @@ std::pair< ref<Expr>, ref<Expr> > Solver::getRange(const Query& query) { ConstantExpr::create(mid, width))), res); + assert(success && "FIXME: Unhandled solver failure"); + (void) success; + if (res) { hi = mid; } else { @@ -226,7 +235,10 @@ std::pair< ref<Expr>, ref<Expr> > Solver::getRange(const Query& query) { ConstantExpr::create(mid, width))), res); + assert(success && "FIXME: Unhandled solver failure"); + (void) success; + if (res) { hi = mid; } else { |