beenull/ladybird
1
0
Fork 0
mirror of https://github.com/LadybirdBrowser/ladybird.git synced 2024-09-29 16:21:29 +00:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

LibWasm: Validate potentially empty else branch in if instruction

Browse source
This commit is contained in:
Diego 2024-07-04 08:40:36 -07:00 committed by Ali Mohammad Pur
parent 24adb1c452
commit fce8ed1563
Notes: sideshowbarker 2024-07-17 20:22:04 +09:00 
Author: https://github.com/dzfrias
Commit: https://github.com/LadybirdBrowser/ladybird/commit/fce8ed1563
Pull-request: https://github.com/LadybirdBrowser/ladybird/pull/418
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Userland/Libraries/LibWasm/AbstractMachine/Validator.cpp
View file

@ -1939,6 +1939,13 @@ VALIDATE_INSTRUCTION(structured_end)
auto& last_frame = m_frames.last();
// If this is true, then the `if` had no else. In that case, validate that the
// empty else block produces the correct type.
if (last_frame.kind == FrameKind::If) {
bool is_constant = false;
TRY(validate(Instruction(Instructions::structured_else), stack, is_constant));
}
auto& results = last_frame.type.results();
for (size_t i = 1; i <= results.size(); ++i)
TRY(stack.take(results[results.size() - i]));