diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/stage1/analyze.cpp | 7 | ||||
| -rw-r--r-- | src/stage1/ir.cpp | 9 |
2 files changed, 13 insertions, 3 deletions
diff --git a/src/stage1/analyze.cpp b/src/stage1/analyze.cpp index 2fe4410027..9e0c0d5df8 100644 --- a/src/stage1/analyze.cpp +++ b/src/stage1/analyze.cpp @@ -1453,7 +1453,12 @@ Error type_val_resolve_abi_align(CodeGen *g, AstNode *source_node, ZigValue *typ case LazyValueIdArrayType: { LazyValueArrayType *lazy_array_type = reinterpret_cast<LazyValueArrayType *>(type_val->data.x_lazy); - return type_val_resolve_abi_align(g, source_node, lazy_array_type->elem_type->value, abi_align); + + if (lazy_array_type->length + (lazy_array_type->sentinel != nullptr) != 0) + return type_val_resolve_abi_align(g, source_node, lazy_array_type->elem_type->value, abi_align); + + *abi_align = 0; + return ErrorNone; } case LazyValueIdErrUnionType: { LazyValueErrUnionType *lazy_err_union_type = diff --git a/src/stage1/ir.cpp b/src/stage1/ir.cpp index 91fb81c24a..a984664cf8 100644 --- a/src/stage1/ir.cpp +++ b/src/stage1/ir.cpp @@ -32970,8 +32970,13 @@ static Error ir_resolve_lazy_raw(AstNode *source_node, ZigValue *val) { break; } - if ((err = type_resolve(ira->codegen, elem_type, ResolveStatusSizeKnown))) - return err; + // Avoid resolving the type if the total length is zero. + // Matches the logic in get_array_type and in the lazy alignment + // resolution routine. + if (lazy_array_type->length + (lazy_array_type->sentinel != nullptr) != 0) { + if ((err = type_resolve(ira->codegen, elem_type, ResolveStatusSizeKnown))) + return err; + } ZigValue *sentinel_val = nullptr; if (lazy_array_type->sentinel != nullptr) { |