harec

commit b8fb462654ba877de628e6fcf34321aa1e09135d
parent 3798b31e30c8ad5838ba63c119531a67555cf7e3
Author: Armin Weigl <tb46305@gmail.com>
Date:   Mon,  5 Apr 2021 17:55:10 +0000

check_expr_assert: dealias condition

Diffstat:
M
src/check.c
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/check.c b/src/check.c
@@ -403,7 +403,7 @@ check_expr_assert(struct context *ctx,
 		expr->assert.cond = xcalloc(1, sizeof(struct expression));
 		errors = check_expression(ctx, aexpr->assert.cond,
 			expr->assert.cond, &builtin_type_bool, errors);
-		if (expr->assert.cond->result->storage != STORAGE_BOOL) {
+		if (type_dealias(expr->assert.cond->result)->storage != STORAGE_BOOL) {
 			return error(aexpr->assert.cond->loc, expr, errors,
 				"Assertion condition must be boolean");
 		}