Decision #487 — library/core/src/slice/index.rs:219
Status: no_witness
Truth table
| row | c0 br 3280 | c1 br 3285 | outcome |
|---|---|---|---|
| 80992 | * | T | T |
| 82179 | * | T | T |
| 83241 | * | T | T |
Independent-effect pairs
c0(branch3280): DEAD view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_ifc1(branch3285): GAP view gap →wasmparser::binary_reader::BinaryReader::read_memarg· br_if