Decision #921 — binary_reader.rs:443
Status: no_witness
Truth table
| row | c0 br 6667 | c1 br 6668 | outcome |
|---|---|---|---|
| 1901 | T | * | T |
| 5692 | T | * | T |
| 9473 | T | * | T |
| 22462 | T | * | T |
| 31940 | T | * | T |
| 49081 | T | * | T |
| 53282 | T | * | T |
| 57812 | T | * | T |
| 62005 | T | * | T |
| 72582 | T | * | T |
| 84095 | T | * | T |
| 103381 | T | * | T |
| 109554 | T | * | T |
| 115454 | T | * | T |
| 163659 | T | * | T |
| 165240 | T | * | T |
| 166960 | T | * | T |
Independent-effect pairs
c0(branch6667): GAP view gap →<alloc::vec::Vec<wasmparser::readers::core::types::ValType>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::ValType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>· br_ifc1(branch6668): DEAD view gap →<alloc::vec::Vec<wasmparser::readers::core::types::ValType>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::ValType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>· br_if