Decision #1031 — binary_reader.rs:93
Status: partial
Truth table
| row | c0 br 5245 | c1 br 5246 | c2 br 5247 | c3 br 5248 | c4 br 5249 | c5 br 5250 | c6 br 5251 | c7 br 5252 | c8 br 5253 | c9 br 5254 | c10 br 5255 | c11 br 5256 | c12 br 5257 | outcome |
|---|
Independent-effect pairs
c0(branch5245): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c1(branch5246): PROVED<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c2(branch5247): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c3(branch5248): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c4(branch5249): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c5(branch5250): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c6(branch5251): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c7(branch5252): PROVED<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c8(branch5253): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c9(branch5254): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c10(branch5255): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c11(branch5256): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_target
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422c12(branch5257): DEAD view gap →<wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader· br_table_default
inlined: names.rs:150 ← readers.rs:102 ← binary_reader.rs:443 ← binary_reader.rs:422