diff options
| author | Thomas Lively <tlively@google.com> | 2023-10-31 05:10:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-31 05:10:25 +0100 |
| commit | 68ba799661506160445dbe54f188b29494423964 (patch) | |
| tree | e0618906b28cfb7dd412c0f054443e7042413a4b /src/analysis/cfg.h | |
| parent | 220196efd69e56d818364708e956602889223f26 (diff) | |
| download | binaryen-68ba799661506160445dbe54f188b29494423964.tar.gz binaryen-68ba799661506160445dbe54f188b29494423964.tar.bz2 binaryen-68ba799661506160445dbe54f188b29494423964.zip | |
[analysis] Add a tuple lattice (#6062)
This lattice combines any number of other lattices into a single lattice whose
elements are tuples of elements of the other lattices. This will be one of the
most important lattices in the analysis framework because it will be used to
combine information about different parts of the program, e.g. locals and the
value stack, into a single lattice.
Diffstat (limited to 'src/analysis/cfg.h')
0 files changed, 0 insertions, 0 deletions