From bcbdf3f2c90897769394d6d0d23e7714ec471d4f Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Thu, 20 Jul 2017 23:42:06 -0400 Subject: eval: Add some sanity checks --- eval.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'eval.c') diff --git a/eval.c b/eval.c index b095279..34ccba8 100644 --- a/eval.c +++ b/eval.c @@ -858,6 +858,8 @@ static bool eval_expr(struct expr *expr, struct eval_state *state) { } } + assert(!*state->quit); + bool ret = expr->eval(expr, state); if (time) { @@ -871,6 +873,10 @@ static bool eval_expr(struct expr *expr, struct eval_state *state) { ++expr->successes; } + assert(!expr->always_true || ret); + assert(!expr->always_false || !ret); + assert(!expr->never_returns || *state->quit); + return ret; } -- cgit v1.2.3