Decision #1375 — library/core/src/cmp.rs:1916
Status: unreached
Truth table
| row | c0 br 3119 | c1 br 3120 | c2 br 3121 | c3 br 3122 | outcome |
|---|
Independent-effect pairs
c0(branch3119): DEAD view gap →scry_analyze_core::handle_memory_store· br_table_target
inlined: lib.rs:2619 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900c1(branch3120): DEAD view gap →scry_analyze_core::handle_memory_store· br_table_target
inlined: lib.rs:2619 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900c2(branch3121): DEAD view gap →scry_analyze_core::handle_memory_store· br_table_target
inlined: lib.rs:2619 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900c3(branch3122): DEAD view gap →scry_analyze_core::handle_memory_store· br_table_default
inlined: lib.rs:2619 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900