diff options
author | Alon Zakai <azakai@google.com> | 2023-03-07 14:26:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-07 14:26:14 -0800 |
commit | 9dcdd47a255914bae36f146f0561ac3ac89aa14b (patch) | |
tree | 25985de778e92fb271a70b8f64e548d5ff677a13 /src/tools/fuzzing/fuzzing.cpp | |
parent | 789b1422fd5c7356d0af7fa1a16a84132c839021 (diff) | |
download | binaryen-9dcdd47a255914bae36f146f0561ac3ac89aa14b.tar.gz binaryen-9dcdd47a255914bae36f146f0561ac3ac89aa14b.tar.bz2 binaryen-9dcdd47a255914bae36f146f0561ac3ac89aa14b.zip |
CodePushing: Pushing into an if may require non-nullable fixups (#5551)
This became an issue because the timeline was this:
* We added non-nullable locals support. At the time, obviously
CodePushing did not require any fixups for that, since it just moved
code forward in a single block (and not past any uses). So we marked
the pass as not needing such fixups.
* We added pushing of code into ifs. But moving code into an if
can affect non-nullable validation since it is based on block scoping.
So we need to remove the mark on the pass, which will make it check and
apply fixups as necessary. See the testcase for an example.
Diffstat (limited to 'src/tools/fuzzing/fuzzing.cpp')
0 files changed, 0 insertions, 0 deletions