Decision #183 — library/core/src/ptr/mod.rs:549
Status: partial
Truth table
| row | c0 br 1013 | c1 br 1015 | outcome |
|---|---|---|---|
| 144 | * | T | T |
| 145 | * | T | T |
| 146 | * | T | T |
| 147 | * | F | F |
| 7104 | * | T | T |
| 7105 | * | T | T |
| 7106 | * | T | T |
| 7107 | * | F | F |
| 13842 | * | T | T |
| 13843 | * | T | T |
| 13844 | * | T | T |
| 13845 | * | F | F |
| 90770 | * | T | T |
| 90771 | * | F | F |
| 98544 | * | T | T |
| 98545 | * | F | F |
| 107038 | * | T | T |
| 107039 | * | F | F |
| 115114 | * | T | T |
| 115115 | * | F | F |
| 156390 | * | T | T |
| 156391 | * | T | T |
| 156392 | * | T | T |
| 156393 | * | T | T |
| 156394 | * | F | F |
| 166248 | * | T | T |
| 166249 | * | T | T |
| 166250 | * | T | T |
| 166251 | * | T | T |
| 166252 | * | F | F |
| 176004 | * | F | F |
| 194911 | * | T | T |
| 194912 | * | F | F |
| 206258 | * | F | F |
Independent-effect pairs
c0(branch1013): DEAD view gap →core::slice::sort::shared::smallsort::insertion_sort_shift_left::<u32, <u32 as core::cmp::PartialOrd>::lt>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:647c1(branch1015): PROVED — pair rows144,147(masking)core::slice::sort::shared::smallsort::insertion_sort_shift_left::<u32, <u32 as core::cmp::PartialOrd>::lt>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:648