diff options
| author | Andrew Kelley <andrew@ziglang.org> | 2020-03-18 11:11:41 -0400 |
|---|---|---|
| committer | Andrew Kelley <andrew@ziglang.org> | 2020-03-18 11:11:41 -0400 |
| commit | 63a4dbc30d3ef3c7f8a8c6a2ba2087eaab8b830a (patch) | |
| tree | 6e66f9d8108607acb610d0f850eb423567812436 /src/analyze.cpp | |
| parent | 1479c28b496e7c1db134b51f23dd2eb934b123bb (diff) | |
| download | zig-63a4dbc30d3ef3c7f8a8c6a2ba2087eaab8b830a.tar.gz zig-63a4dbc30d3ef3c7f8a8c6a2ba2087eaab8b830a.zip | |
array sentinel does not count towards type_has_one_possible_value
Diffstat (limited to 'src/analyze.cpp')
| -rw-r--r-- | src/analyze.cpp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/analyze.cpp b/src/analyze.cpp index d0f8979c79..fbd7d85ac1 100644 --- a/src/analyze.cpp +++ b/src/analyze.cpp @@ -1447,8 +1447,7 @@ static OnePossibleValue type_val_resolve_has_one_possible_value(CodeGen *g, ZigV case LazyValueIdArrayType: { LazyValueArrayType *lazy_array_type = reinterpret_cast<LazyValueArrayType *>(type_val->data.x_lazy); - // The sentinel counts as an extra element - if (lazy_array_type->length == 0 && lazy_array_type->sentinel == nullptr) + if (lazy_array_type->length == 0) return OnePossibleValueYes; return type_val_resolve_has_one_possible_value(g, lazy_array_type->elem_type->value); } @@ -5735,8 +5734,7 @@ OnePossibleValue type_has_one_possible_value(CodeGen *g, ZigType *type_entry) { case ZigTypeIdUnreachable: return OnePossibleValueYes; case ZigTypeIdArray: - // The sentinel counts as an extra element - if (type_entry->data.array.len == 0 && type_entry->data.array.sentinel == nullptr) + if (type_entry->data.array.len == 0) return OnePossibleValueYes; return type_has_one_possible_value(g, type_entry->data.array.child_type); case ZigTypeIdStruct: |
