diff options
Diffstat (limited to 'src/tools/fuzzing')
-rw-r--r-- | src/tools/fuzzing/heap-types.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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<HeapType>& visited, std::unordered_set<HeapType>& 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); |