Decision #1420 — binary_reader.rs:426
Status: unreached
Truth table
| row | c0 br 6716 | c1 br 6717 | c2 br 6718 | c3 br 6719 | c4 br 6720 | outcome |
|---|
Independent-effect pairs
c0(branch6716): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: operators.rs:961 ← binary_reader.rs:443c1(branch6717): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: operators.rs:961 ← binary_reader.rs:443c2(branch6718): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: operators.rs:961 ← binary_reader.rs:443c3(branch6719): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: operators.rs:961 ← binary_reader.rs:443c4(branch6720): DEAD view gap →<wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader· br_table_default
inlined: operators.rs:961 ← binary_reader.rs:443