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/inverted.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/inverted.h')
| -rw-r--r-- | src/analysis/lattices/inverted.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/analysis/lattices/inverted.h b/src/analysis/lattices/inverted.h index 57f708421..92b965323 100644 --- a/src/analysis/lattices/inverted.h +++ b/src/analysis/lattices/inverted.h @@ -20,6 +20,7 @@ #include <utility> #include "../lattice.h" +#include "bool.h" namespace wasm::analysis { @@ -44,6 +45,10 @@ template<FullLattice L> struct Inverted { } }; +#if __cplusplus >= 202002L +static_assert(Lattice<Inverted<Bool>>); +#endif + } // namespace wasm::analysis #endif // wasm_analysis_lattices_inverted_h |