summaryrefslogtreecommitdiff
path: root/src/tools/wasm-fuzz-lattices.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/tools/wasm-fuzz-lattices.cpp')
-rw-r--r--src/tools/wasm-fuzz-lattices.cpp13
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";