Decision #587 — library/core/src/slice/index.rs:443

Status: unreached

Truth table

rowc0 br 4443c1 br 4444c2 br 4445outcome

Independent-effect pairs

All 3 conditions live in wasmparser::binary_reader::BinaryReader::read_f64 — 3 br_if