Decision #630 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 4187 | c1 br 4188 | c2 br 4189 | c3 br 4190 | c4 br 4191 | c5 br 4192 | c6 br 4193 | c7 br 4194 | outcome |
|---|---|---|---|---|---|---|---|---|---|
| 1463 | * | * | F | F | T | F | * | F | T |
| 1464 | * | * | T | * | * | * | * | * | T |
| 1465 | * | * | F | F | T | F | * | F | T |
| 1466 | * | * | T | * | * | * | * | * | T |
| 8423 | * | * | F | F | T | F | * | F | T |
| 8424 | * | * | T | * | * | * | * | * | T |
| 8425 | * | * | F | F | T | F | * | F | T |
| 8426 | * | * | T | * | * | * | * | * | T |
| 15224 | * | * | F | F | T | F | * | F | T |
| 15225 | * | * | T | * | * | * | * | * | T |
| 15226 | * | * | F | F | T | F | * | F | T |
| 15227 | * | * | T | * | * | * | * | * | T |
Independent-effect pairs
c0(branch4187): DEAD view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: library/core/src/option.rs:1163 ← lib.rs:6721 ← library/core/src/slice/mod.rs:2598 ← library/core/src/slice/cmp.rs:426 ← library/core/src/slice/iter/macros.rs:279c1(branch4188): DEAD view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc2(branch4189): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc3(branch4190): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc4(branch4191): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc5(branch4192): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc6(branch4193): DEAD view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc7(branch4194): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if