ast2firm: When the result of ?: is unreachable, create a Bad value, not Unknown.

diff --git a/ast2firm.c b/ast2firm.c
index 5efe9ec..5cf341a 100644 (file)
--- a/ast2firm.c
+++ b/ast2firm.c
@@ -2789,7 +2789,7 @@ static ir_node *conditional_to_firm(const conditional_expression_t *expression)
        if (!enter_jump_target(&exit_target)) {
                set_cur_block(new_Block(0, NULL));
                if (!is_type_void(type))
-                       val = new_Unknown(mode);
+                       val = new_Bad(mode);
        }
        return val;
 }