Decision #505 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 3375 | c1 br 3376 | c2 br 3377 | c3 br 3378 | outcome |
|---|---|---|---|---|---|
| 735 | F | F | F | T | T |
| 736 | F | F | F | T | T |
| 4528 | F | F | F | T | T |
| 4529 | F | F | F | T | T |
| 8259 | F | F | F | T | T |
| 8260 | F | F | F | T | T |
Independent-effect pairs
c0(branch3375): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: library/core/src/option.rs:1162 ← lib.rs:4958 ← library/core/src/slice/mod.rs:2594 ← library/core/src/slice/cmp.rs:426 ← library/core/src/slice/iter/macros.rs:279c1(branch3376): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc2(branch3377): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc3(branch3378): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if