Decision #254 — library/core/src/slice/cmp.rs:132
Status: no_witness
Truth table
| row | c0 br 1866 | c1 br 1872 | c2 br 1877 | c3 br 1878 | outcome |
|---|---|---|---|---|---|
| 13599 | * | * | T | * | T |
| 13600 | * | * | F | F | T |
| 13601 | * | * | T | * | T |
| 13602 | * | * | F | F | T |
| 21317 | * | * | T | * | T |
| 21318 | * | * | F | F | T |
| 21319 | * | * | T | * | T |
| 21320 | * | * | F | F | T |
| 29268 | * | * | F | F | T |
| 29269 | * | * | F | F | T |
| 35206 | * | * | F | F | T |
| 35207 | * | * | F | F | T |
| 53574 | * | * | T | * | T |
| 53575 | * | * | T | * | T |
| 53576 | * | * | F | F | T |
| 53577 | * | * | T | * | T |
| 53578 | * | * | T | * | T |
| 53579 | * | * | F | F | T |
| 63346 | * | * | T | * | T |
| 63347 | * | * | T | * | T |
| 63348 | * | * | F | F | T |
| 63349 | * | * | T | * | T |
| 63350 | * | * | T | * | T |
| 63351 | * | * | F | F | T |
| 93452 | * | * | T | * | T |
| 93453 | * | * | F | F | T |
| 93454 | * | * | T | * | T |
| 93455 | * | * | F | F | T |
| 112315 | * | * | T | * | T |
| 112316 | * | * | F | F | T |
| 112317 | * | * | T | * | T |
| 112318 | * | * | F | F | T |
Independent-effect pairs
c0(branch1866): DEAD view gap →scry_analyze_core::Interp::loop_region· br_if
inlined: lib.rs:3036 ← library/alloc/src/vec/partial_eq.rs:15 ← library/core/src/slice/cmp.rs:25c1(branch1872): DEAD view gap →scry_analyze_core::Interp::loop_region· br_if
inlined: lib.rs:3036 ← library/alloc/src/vec/partial_eq.rs:15 ← library/core/src/slice/cmp.rs:25c2(branch1877): GAP view gap →scry_analyze_core::Interp::loop_region· br_ifc3(branch1878): GAP view gap →scry_analyze_core::Interp::loop_region· br_if