Decision #1058 — library/core/src/cmp.rs:1916
Status: unreached
Truth table
| row | c0 br 6654 | c1 br 6655 | outcome |
|---|
Independent-effect pairs
c0(branch6654): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::imports::Imports as wasmparser::readers::FromReader>::from_reader::{closure#0}>· br_if
inlined: binary_reader.rs:519 ← elements.rs:125 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900c1(branch6655): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::imports::Imports as wasmparser::readers::FromReader>::from_reader::{closure#0}>· br_if
inlined: binary_reader.rs:519 ← elements.rs:125 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900