Decision #337 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 2059 | c1 br 2063 | outcome |
|---|---|---|---|
| 659 | * | T | T |
| 660 | * | T | T |
| 661 | * | T | T |
| 662 | * | T | T |
| 663 | * | T | T |
| 7619 | * | T | T |
| 7620 | * | T | T |
| 7621 | * | T | T |
| 7622 | * | T | T |
| 7623 | * | T | T |
| 14360 | * | T | T |
| 14361 | * | T | T |
| 14362 | * | T | T |
| 14363 | * | T | T |
| 14364 | * | T | T |
| 21512 | * | T | T |
| 24255 | * | T | T |
| 26898 | * | T | T |
| 30218 | * | T | T |
| 51073 | * | T | T |
| 71674 | * | T | T |
| 81557 | * | T | T |
| 91465 | * | T | T |
| 91466 | * | T | T |
| 91467 | * | T | T |
| 91468 | * | T | T |
| 91469 | * | T | T |
| 99242 | * | T | T |
| 99243 | * | T | T |
| 99244 | * | T | T |
| 99245 | * | T | T |
| 99246 | * | T | T |
| 107733 | * | T | T |
| 107734 | * | T | T |
| 107735 | * | T | T |
| 107736 | * | T | T |
| 107737 | * | T | T |
| 115809 | * | T | T |
| 115810 | * | T | T |
| 115811 | * | T | T |
| 115812 | * | T | T |
| 115813 | * | T | T |
| 123758 | * | T | T |
| 140477 | * | T | T |
| 157575 | * | T | T |
| 157576 | * | T | T |
| 157577 | * | T | T |
| 157578 | * | T | T |
| 157579 | * | T | T |
| 157580 | * | T | T |
| 167433 | * | T | T |
| 167434 | * | T | T |
| 167435 | * | T | T |
| 167436 | * | T | T |
| 167437 | * | T | T |
| 167438 | * | T | T |
| 181012 | * | T | T |
| 184332 | * | T | T |
| 187439 | * | T | T |
| 190908 | * | T | T |
| 195751 | * | T | T |
| 195752 | * | T | T |
| 195753 | * | T | T |
| 203107 | * | T | T |
| 207078 | T | * | T |
| 207079 | T | * | T |
| 215258 | T | * | T |
| 223025 | * | T | T |
| 300402 | * | T | T |
| 376935 | * | T | T |
| 379572 | * | T | T |
| 382456 | * | T | T |
Independent-effect pairs
c0(branch2059): GAP view gap →scry_analyze_core::extract_results· br_if
inlined: lib.rs:4643 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch2063): GAP view gap →scry_analyze_core::extract_results· br_if
inlined: lib.rs:4646 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043