From 2bf3caae764689c606ae38353b1bad5fe28bf5bb Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Tue, 17 Oct 2023 10:12:02 -0700 Subject: Add getGeneralSuperType() that includes basic supers, and use in fuzzer (#6005) With this, the fuzzer can replace e.g. an eq expression with a specific struct type, because now it is away that struct types have eq as their ancestor. --- src/tools/fuzzing/fuzzing.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/tools/fuzzing/fuzzing.cpp') diff --git a/src/tools/fuzzing/fuzzing.cpp b/src/tools/fuzzing/fuzzing.cpp index 2e4d460f7..bdaf71e83 100644 --- a/src/tools/fuzzing/fuzzing.cpp +++ b/src/tools/fuzzing/fuzzing.cpp @@ -765,8 +765,7 @@ void TranslateToFuzzReader::recombine(Function* func) { while (1) { ret.push_back(Type(heapType, nullability)); - // TODO: handle basic supertypes too - auto super = heapType.getDeclaredSuperType(); + auto super = heapType.getSuperType(); if (!super) { break; } -- cgit v1.2.3