Decision #395 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 2484 | c1 br 2485 | outcome |
|---|---|---|---|
| 97920 | T | * | T |
| 100853 | T | * | T |
Independent-effect pairs
c0(branch2484): GAP view gap →scry_analyze_core::handle_memory_load· br_ifc1(branch2485): DEAD view gap →scry_analyze_core::handle_memory_load· br_if