Decision #592 — binary_reader.rs:420
Status: unreached
Truth table
| row | c0 br 4492 | c1 br 4493 | c2 br 4494 | c3 br 4495 | outcome |
|---|
Independent-effect pairs
c0(branch4492): DEAD view gap →wasmparser::binary_reader::BinaryReader::skip· br_if
inlined: binary_reader.rs:519 ← binary_reader.rs:443c1(branch4493): DEAD view gap →wasmparser::binary_reader::BinaryReader::skip· br_if
inlined: binary_reader.rs:519 ← binary_reader.rs:443c2(branch4494): DEAD view gap →wasmparser::binary_reader::BinaryReader::skip· br_if
inlined: binary_reader.rs:519 ← binary_reader.rs:443c3(branch4495): DEAD view gap →wasmparser::binary_reader::BinaryReader::skip· br_if
inlined: binary_reader.rs:519 ← binary_reader.rs:443