diff options
author | Florian Westphal <fw@strlen.de> | 2022-04-26 11:47:37 +0200 |
---|---|---|
committer | Florian Westphal <fw@strlen.de> | 2022-04-26 11:54:37 +0200 |
commit | fc4da14128e33d87fa24c019ec8c3a69548bf466 (patch) | |
tree | 939a2716c9faade48b9943d023e4cfc18cc3ca6a | |
parent | d1289bff58e1878c3162f574c603da993e29b113 (diff) |
src: fix always-true assertions
assert(1) is a no-op, this should be assert(0). Use BUG() instead.
Add missing CATCHALL to avoid BUG().
Signed-off-by: Florian Westphal <fw@strlen.de>
-rw-r--r-- | src/evaluate.c | 2 | ||||
-rw-r--r-- | src/intervals.c | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/evaluate.c b/src/evaluate.c index b5f74d2f..1447a4c2 100644 --- a/src/evaluate.c +++ b/src/evaluate.c @@ -1499,7 +1499,7 @@ static int interval_set_eval(struct eval_ctx *ctx, struct set *set, case CMD_GET: break; default: - assert(1); + BUG("unhandled op %d\n", ctx->cmd->op); break; } diff --git a/src/intervals.c b/src/intervals.c index a7423852..85ec59ed 100644 --- a/src/intervals.c +++ b/src/intervals.c @@ -20,6 +20,7 @@ static void setelem_expr_to_range(struct expr *expr) assert(expr->etype == EXPR_SET_ELEM); switch (expr->key->etype) { + case EXPR_SET_ELEM_CATCHALL: case EXPR_RANGE: break; case EXPR_PREFIX: @@ -53,7 +54,7 @@ static void setelem_expr_to_range(struct expr *expr) expr->key = key; break; default: - assert(1); + BUG("unhandled key type %d\n", expr->key->etype); } } @@ -185,7 +186,7 @@ static struct expr *interval_expr_key(struct expr *i) elem = i; break; default: - assert(1); + BUG("unhandled expression type %d\n", i->etype); return NULL; } |