portal/waffle
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

fuzzbug fix

Browse source
This commit is contained in:
Chris Fallin 2021-12-24 17:13:23 -08:00
parent 74901c0842
commit 5ac961607f
2 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
fuzz/fuzz_targets/straightline_differential.rs
View file

@ -121,6 +121,11 @@ fuzz_target!(|module: wasm_smith::ConfiguredModule<Config>| {
let parsed_module = Module::from_wasm_bytes(&orig_bytes[..]).unwrap();
let roundtrip_bytes = parsed_module.to_wasm_bytes();
if let Ok(filename) = std::env::var("FUZZ_DUMP_WASM") {
std::fs::write(format!("{}_orig.wasm", filename), &orig_bytes[..]).unwrap();
std::fs::write(format!("{}_roundtrip.wasm", filename), &roundtrip_bytes[..]).unwrap();
}
let roundtrip_module = wasmtime::Module::new(&engine, &roundtrip_bytes[..])
.expect("failed to parse roundtripped wasm");
let roundtrip_instance = wasmtime::Instance::new(&mut store, &roundtrip_module, &[])

1
src/frontend.rs
View file

@ -1134,6 +1134,7 @@ impl<'a, 'b> FunctionBodyBuilder<'a, 'b> {
let values = values.to_vec();
self.body.end_block(block, Terminator::Return { values });
}
self.cur_block = None;
}
fn push_block_params(&mut self, num_params: usize) {