diff options
| author | Alon Zakai <azakai@google.com> | 2022-08-16 15:21:30 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-16 15:21:30 -0700 |
| commit | da23be08da53ef461f8432b062f3429448cb7ad5 (patch) | |
| tree | 899090ad385b8cf1c5660b5bfe0e5a017612ca45 /src/passes/Memory64Lowering.cpp | |
| parent | e5d004062d965f7cc4a5ac14bf61379359b81ee4 (diff) | |
| download | binaryen-da23be08da53ef461f8432b062f3429448cb7ad5.tar.gz binaryen-da23be08da53ef461f8432b062f3429448cb7ad5.tar.bz2 binaryen-da23be08da53ef461f8432b062f3429448cb7ad5.zip | |
Validator: More carefully check for stale types (#4907)
The validation logic to check for stale types (code where we forgot to run
refinalize) had a workaround for a control flow issue. That workaround meant
we didn't catch errors where a type was concrete but it should be unreachable.
This PR makes that workaround only apply for control flow structures, so we can
catch more errors.
Diffstat (limited to 'src/passes/Memory64Lowering.cpp')
0 files changed, 0 insertions, 0 deletions