diff options
Diffstat (limited to 'src/tools/wasm-fuzz-lattices.cpp')
-rw-r--r-- | src/tools/wasm-fuzz-lattices.cpp | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/tools/wasm-fuzz-lattices.cpp b/src/tools/wasm-fuzz-lattices.cpp index d74bc5148..551ddbaf1 100644 --- a/src/tools/wasm-fuzz-lattices.cpp +++ b/src/tools/wasm-fuzz-lattices.cpp @@ -185,7 +185,7 @@ using LatticeVariant = std::variant<RandomFullLattice, ArrayLattice, Vector<RandomLattice>, TupleLattice, - Shared<RandomLattice>>; + SharedPath<RandomLattice>>; struct RandomLattice::LatticeImpl : LatticeVariant {}; @@ -196,7 +196,7 @@ using LatticeElementVariant = typename ArrayLattice::Element, typename Vector<RandomLattice>::Element, typename TupleLattice::Element, - typename Shared<RandomLattice>::Element>; + typename SharedPath<RandomLattice>::Element>; struct RandomLattice::ElementImpl : LatticeElementVariant {}; @@ -271,7 +271,7 @@ RandomLattice::RandomLattice(Random& rand, size_t depth) : rand(rand) { return; case FullLatticePicks + 5: lattice = std::make_unique<LatticeImpl>( - LatticeImpl{Shared{RandomLattice{rand, depth + 1}}}); + LatticeImpl{SharedPath{RandomLattice{rand, depth + 1}}}); return; } WASM_UNREACHABLE("unexpected pick"); @@ -375,7 +375,7 @@ RandomLattice::Element RandomLattice::makeElement() const noexcept { typename TupleLattice::Element{std::get<0>(l->lattices).makeElement(), std::get<1>(l->lattices).makeElement()}}; } - if (const auto* l = std::get_if<Shared<RandomLattice>>(lattice.get())) { + if (const auto* l = std::get_if<SharedPath<RandomLattice>>(lattice.get())) { auto elem = l->getBottom(); l->join(elem, l->lattice.makeElement()); return ElementImpl{elem}; @@ -489,8 +489,9 @@ void printElement(std::ostream& os, indent(os, depth); os << ")\n"; } else if (const auto* e = - std::get_if<typename Shared<RandomLattice>::Element>(&*elem)) { - os << "Shared(\n"; + std::get_if<typename SharedPath<RandomLattice>::Element>( + &*elem)) { + os << "SharedPath(\n"; printElement(os, **e, depth + 1); indent(os, depth); os << ")\n"; |