Decision #149 — library/core/src/slice/cmp.rs:443
Status: no_witness
Truth table
| row | c0 br 1065 | c1 br 1066 | c2 br 1067 | c3 br 1068 | outcome |
|---|---|---|---|---|---|
| 80805 | F | T | * | * | T |
| 80806 | F | T | * | * | T |
| 81992 | F | T | * | * | T |
| 81993 | F | T | * | * | T |
| 83054 | F | T | * | * | T |
| 83055 | F | T | * | * | T |
Independent-effect pairs
c0(branch1065): GAP view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:4936 ← library/core/src/slice/mod.rs:2593 ← library/core/src/slice/iter/macros.rs:332c1(branch1066): GAP view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:4936 ← library/core/src/slice/mod.rs:2593 ← library/core/src/slice/cmp.rs:443 ← library/core/src/slice/iter/macros.rs:279c2(branch1067): DEAD view gap →scry_analyze_core::handle_memory_load· br_ifc3(branch1068): DEAD view gap →scry_analyze_core::handle_memory_load· br_if