From 1c3578c7e28d9fced48a756546c07a2acb26bdcc Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Tue, 6 Aug 2024 13:23:27 -0400 Subject: Fix sharedness bug in inhabitable type fuzzer (#6807) The code for collecting inhabitable types incorrectly considered shared, non-nullable externrefs to be inhabitable, which disagreed with the code for rewriting types to be inhabitable, which was correct, causing the type fuzzer to report an error. --- src/tools/fuzzing/heap-types.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/tools/fuzzing') diff --git a/src/tools/fuzzing/heap-types.cpp b/src/tools/fuzzing/heap-types.cpp index 7eaf23701..e4d54ae07 100644 --- a/src/tools/fuzzing/heap-types.cpp +++ b/src/tools/fuzzing/heap-types.cpp @@ -1031,7 +1031,8 @@ bool isUninhabitable(Type type, std::unordered_set& visited, std::unordered_set& visiting) { if (type.isRef() && type.isNonNullable()) { - if (type.getHeapType().isBottom() || type.getHeapType() == HeapType::ext) { + if (type.getHeapType().isBottom() || + type.getHeapType().isMaybeShared(HeapType::ext)) { return true; } return isUninhabitable(type.getHeapType(), visited, visiting); -- cgit v1.2.3