diff options
| author | Thomas Lively <tlively@google.com> | 2023-10-25 22:51:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-25 22:51:30 +0200 |
| commit | 1dcc8599c113550530103b35f26e22740fa86b4c (patch) | |
| tree | 74aa95c31128f2d33a66da77994112fcb5be9108 /src/analysis/lattices/flat.h | |
| parent | 7a6d9621f5a654a541e4ad9a6313b47495ea9a62 (diff) | |
| download | binaryen-1dcc8599c113550530103b35f26e22740fa86b4c.tar.gz binaryen-1dcc8599c113550530103b35f26e22740fa86b4c.tar.bz2 binaryen-1dcc8599c113550530103b35f26e22740fa86b4c.zip | |
[analysis] Implement a Lift lattice (#6040)
This lattice "lifts" another lattice by inserting a new bottom element
underneath it.
Diffstat (limited to 'src/analysis/lattices/flat.h')
| -rw-r--r-- | src/analysis/lattices/flat.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/analysis/lattices/flat.h b/src/analysis/lattices/flat.h index c34f8fc7c..b3cfe3809 100644 --- a/src/analysis/lattices/flat.h +++ b/src/analysis/lattices/flat.h @@ -68,6 +68,7 @@ public: return EQUAL; } } + bool join(Element& self, const Element& other) const noexcept { switch (compare(self, other)) { case LESS: |