diff options
author | Thomas Lively <tlively@google.com> | 2023-10-21 02:22:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-20 17:22:37 -0700 |
commit | 17305e5d796ced05680dbca34bebef124ac9493b (patch) | |
tree | 6dc657a0e03c540b40184154f7fe2ec044386c57 /src/wasm/wasm-validator.cpp | |
parent | ce6fe670bee398b8e258120f16b4aa7f942e418c (diff) | |
download | binaryen-17305e5d796ced05680dbca34bebef124ac9493b.tar.gz binaryen-17305e5d796ced05680dbca34bebef124ac9493b.tar.bz2 binaryen-17305e5d796ced05680dbca34bebef124ac9493b.zip |
[analysis][NFC] Create a TransferFunction concept (#6033)
Factor the static assertions for transfer functions out into a new
transfer-function.h header. The concept requires the `getDependents` method to
return an input range of basic blocks, and to satisfy that requirement, fix up
_indirect_ptr_iterator in cfg-impl.h so that it is a proper iterator. Remove
part of the lattice fuzzer that was using a placeholder transfer function in a
way that does not satisfy the new type constraints; most of that code will be
overhauled in the future anyway.
Diffstat (limited to 'src/wasm/wasm-validator.cpp')
0 files changed, 0 insertions, 0 deletions