diff options
| author | gingerBill <bill@gingerbill.org> | 2019-10-31 22:39:12 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2019-10-31 22:39:12 +0000 |
| commit | 560bdc339b1137ab6f52878a13dce0a4742b6153 (patch) | |
| tree | 0178ef62bc54f5120ce3d1a71bd4c86ebe0555cd /src/check_expr.cpp | |
| parent | 01dfb1dac8b71b2b84bb585395063c52779f5674 (diff) | |
Fix stack overflow bug caused by polymorphic record with polymorphic constant parameters. #447
DOES NOT FIX THE UNDERLYING BUG
Diffstat (limited to 'src/check_expr.cpp')
| -rw-r--r-- | src/check_expr.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/check_expr.cpp b/src/check_expr.cpp index 8612167c9..254a7ce51 100644 --- a/src/check_expr.cpp +++ b/src/check_expr.cpp @@ -6343,9 +6343,8 @@ CallArgumentError check_polymorphic_record_type(CheckerContext *c, Operand *oper operand->type = found_entity->type; return err; } - if (failure) { - return CallArgumentError_NoneConstantParameter; - } + + String generated_name = make_string_c(expr_to_string(call)); @@ -6458,7 +6457,8 @@ ExprKind check_call_expr(CheckerContext *c, Operand *operand, Ast *call, Type *t Ast *s = ident->SelectorExpr.selector; ident = s; } - Type *ot = operand->type; GB_ASSERT(ot->kind == Type_Named); + Type *ot = operand->type; + GB_ASSERT(ot->kind == Type_Named); Entity *e = ot->Named.type_name; add_entity_use(c, ident, e); add_type_and_value(&c->checker->info, call, Addressing_Type, ot, empty_exact_value); |