aboutsummaryrefslogtreecommitdiff
path: root/src/analyze.cpp
diff options
context:
space:
mode:
authorAndrew Kelley <andrew@ziglang.org>2020-03-18 11:11:41 -0400
committerAndrew Kelley <andrew@ziglang.org>2020-03-18 11:11:41 -0400
commit63a4dbc30d3ef3c7f8a8c6a2ba2087eaab8b830a (patch)
tree6e66f9d8108607acb610d0f850eb423567812436 /src/analyze.cpp
parent1479c28b496e7c1db134b51f23dd2eb934b123bb (diff)
downloadzig-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.cpp6
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: