Decision #1413 — binary_reader.rs:285
Status: unreached
Truth table
| row | c0 br 6642 | c1 br 6643 | c2 br 6644 | c3 br 6645 | c4 br 6646 | c5 br 6647 | c6 br 6648 | c7 br 6649 | c8 br 6650 | c9 br 6651 | c10 br 6652 | c11 br 6653 | c12 br 6654 | c13 br 6655 | c14 br 6656 | outcome |
|---|
Independent-effect pairs
c0(branch6642): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c1(branch6643): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c2(branch6644): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c3(branch6645): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c4(branch6646): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c5(branch6647): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c6(branch6648): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c7(branch6649): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c8(branch6650): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c9(branch6651): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c10(branch6652): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c11(branch6653): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c12(branch6654): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c13(branch6655): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_target
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841c14(branch6656): DEAD view gap →<wasmparser::readers::core::types::RefType>::new· br_table_default
inlined: library/alloc/src/vec/mod.rs:4030 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2556 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/traits/iterator.rs:2493 ← binary_reader.rs:841