Decision #294 — library/alloc/src/vec/mod.rs:4250
Status: no_witness
Truth table
| row | c0 br 2318 | c1 br 2341 | outcome |
|---|---|---|---|
| 839 | T | * | T |
| 3879 | T | * | T |
| 6824 | F | * | T |
| 9681 | T | * | T |
| 10829 | T | * | T |
| 11920 | T | * | T |
| 13696 | T | * | T |
| 21414 | T | * | T |
| 29425 | T | * | T |
| 35363 | T | * | T |
| 40881 | T | * | T |
| 43892 | F | * | T |
| 47345 | F | * | T |
| 50421 | T | * | T |
| 53689 | T | * | T |
| 63461 | T | * | T |
| 73198 | T | * | T |
| 76673 | T | * | T |
| 79393 | T | * | T |
| 80885 | T | * | T |
| 82072 | T | * | T |
| 83134 | T | * | T |
| 84330 | T | * | T |
| 85987 | T | * | T |
| 87688 | T | * | T |
| 89292 | T | * | T |
| 90994 | T | * | T |
| 93632 | T | * | T |
| 112495 | T | * | T |
| 130100 | T | * | T |
| 131275 | F | * | T |
| 132602 | F | * | T |
Independent-effect pairs
c0(branch2318): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1884 ← library/core/src/ptr/mod.rs:810c1(branch2341): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: library/core/src/ptr/mod.rs:810