From fc4da14128e33d87fa24c019ec8c3a69548bf466 Mon Sep 17 00:00:00 2001 From: Florian Westphal Date: Tue, 26 Apr 2022 11:47:37 +0200 Subject: 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 --- src/intervals.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/intervals.c') 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; } -- cgit v1.2.3