From 28af376d103da1b7820032de0b6d8fc6ca9d6d3a Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Fri, 22 Oct 2021 13:17:49 +0100
Subject: Quick fix

---
 src/check_expr.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/check_expr.cpp')

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 04ba28b60..a3554f3ea 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -3017,14 +3017,14 @@ void update_untyped_expr_type(CheckerContext *c, Ast *e, Type *type, bool final)
 			if (e->tav.type == nullptr || e->tav.type == t_invalid) {
 				add_type_and_value(c->info, e, e->tav.mode, type ? type : e->tav.type, e->tav.value);
 				if (e->kind == Ast_TernaryIfExpr) {
-					goto propagate;
+					update_untyped_expr_type(c, e->TernaryIfExpr.x, type, final);
+					update_untyped_expr_type(c, e->TernaryIfExpr.y, type, final);
 				}
 			}
 		}
 		return;
 	}
 
-propagate:;
 	switch (e->kind) {
 	case_ast_node(ue, UnaryExpr, e);
 		if (old->value.kind != ExactValue_Invalid) {
-- 
cgit v1.2.3