Decision #764 — library/core/src/slice/cmp.rs:131
Status: no_witness
Truth table
| row | c0 br 4868 | c1 br 4869 | outcome |
|---|---|---|---|
| 31171 | * | F | T |
| 31172 | * | F | T |
| 31173 | * | F | T |
| 31174 | * | F | T |
| 52025 | * | F | T |
| 52026 | * | F | T |
| 52027 | * | F | T |
| 52028 | * | F | T |
| 73000 | * | T | T |
| 73001 | * | T | T |
| 73002 | * | T | T |
| 73003 | * | T | T |
| 73004 | * | F | T |
| 73005 | * | T | T |
| 73006 | * | T | T |
| 73007 | * | T | T |
| 73008 | * | T | T |
| 73009 | * | F | T |
| 82883 | * | T | T |
| 82884 | * | T | T |
| 82885 | * | T | T |
| 82886 | * | T | T |
| 82887 | * | F | T |
| 82888 | * | T | T |
| 82889 | * | T | T |
| 82890 | * | T | T |
| 82891 | * | T | T |
| 82892 | * | F | T |
| 124939 | * | F | T |
| 124940 | * | T | T |
| 124941 | * | F | T |
| 124942 | * | F | T |
| 124943 | * | F | T |
| 124944 | * | T | T |
| 124945 | * | F | T |
| 124946 | * | F | T |
| 141658 | * | F | T |
| 141659 | * | T | T |
| 141660 | * | F | T |
| 141661 | * | F | T |
| 141662 | * | F | T |
| 141663 | * | T | T |
| 141664 | * | F | T |
| 141665 | * | F | T |
| 224798 | * | T | T |
| 224799 | * | T | T |
| 224800 | * | T | T |
| 224801 | * | T | T |
| 224802 | * | T | T |
| 224803 | * | T | T |
| 224804 | * | F | T |
| 224805 | * | F | T |
| 224806 | * | T | T |
| 224807 | * | T | T |
| 224808 | * | T | T |
| 224809 | * | T | T |
| 224810 | * | T | T |
| 224811 | * | T | T |
| 224812 | * | F | T |
| 224813 | * | F | T |
| 302175 | * | T | T |
| 302176 | * | T | T |
| 302177 | * | T | T |
| 302178 | * | T | T |
| 302179 | * | T | T |
| 302180 | * | T | T |
| 302181 | * | F | T |
| 302182 | * | F | T |
| 302183 | * | T | T |
| 302184 | * | T | T |
| 302185 | * | T | T |
| 302186 | * | T | T |
| 302187 | * | T | T |
| 302188 | * | T | T |
| 302189 | * | F | T |
| 302190 | * | F | T |
Independent-effect pairs
c0(branch4868): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:5916 ← library/alloc/src/vec/partial_eq.rs:15 ← library/core/src/slice/cmp.rs:24c1(branch4869): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if