commit e84333ab8c4b5bfaf8d38004f5247e543d599b72
parent 3a7ceaaefb8b92a78c7cb7eef9ec6618fa47a7d5
Author: Drew DeVault <sir@cmpwn.com>
Date: Fri, 12 Feb 2021 10:26:05 -0500
check: if without else does not terminate
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/check.c b/src/check.c
@@ -1290,7 +1290,7 @@ check_expr_if(struct context *ctx,
false_branch = lower_implicit_cast(expr->result, false_branch);
} else {
expr->result = &builtin_type_void;
- expr->terminates = true_branch->terminates;
+ expr->terminates = false;
}
expect(&aexpr->_if.cond->loc,