diff options
| author | gingerBill <gingerBill@users.noreply.github.com> | 2025-11-02 12:04:21 +0000 |
|---|---|---|
| committer | gingerBill <gingerBill@users.noreply.github.com> | 2025-11-02 12:04:21 +0000 |
| commit | 7f2ab31acc411fa33438407fd41a3c2a1b3bc46a (patch) | |
| tree | 525f449ecd2900b30b6630340108b126dc1fbd36 /src | |
| parent | 91d923bd8f89dd11208d7d67783e5085955377fc (diff) | |
Fix constant `nil` assignment to union of nillable types in backend
Diffstat (limited to 'src')
| -rw-r--r-- | src/llvm_backend_const.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/llvm_backend_const.cpp b/src/llvm_backend_const.cpp index 952427dac..c014adc05 100644 --- a/src/llvm_backend_const.cpp +++ b/src/llvm_backend_const.cpp @@ -701,6 +701,10 @@ gb_internal lbValue lb_const_value(lbModule *m, Type *type, ExactValue value, lb } } + if (value_type == t_untyped_nil) { + return lb_const_nil(m, original_type); + } + Type *t = bt->Union.variants[0]; lbValue cv = lb_const_value(m, t, value, cc); GB_ASSERT(LLVMIsConstant(cv.value)); @@ -741,6 +745,8 @@ gb_internal lbValue lb_const_value(lbModule *m, Type *type, ExactValue value, lb } else if (value.kind == ExactValue_Invalid) { return lb_const_nil(m, original_type); } + } else if (value_type == t_untyped_nil) { + return lb_const_nil(m, original_type); } GB_ASSERT_MSG(value_type != nullptr, "%s :: %s", type_to_string(original_type), exact_value_to_string(value)); |