Decision #757 — library/alloc/src/raw_vec/mod.rs:425
Status: no_witness
Truth table
| row | c0 br 4910 | c1 br 4911 | outcome |
|---|---|---|---|
| 31156 | F | F | T |
| 31157 | T | * | T |
| 31158 | F | F | T |
| 31159 | T | * | T |
| 52010 | F | F | T |
| 52011 | T | * | T |
| 52012 | F | F | T |
| 52013 | T | * | T |
| 72978 | F | F | T |
| 72979 | T | * | T |
| 72980 | F | F | T |
| 72981 | T | * | T |
| 82861 | F | F | T |
| 82862 | T | * | T |
| 82863 | F | F | T |
| 82864 | T | * | T |
| 124922 | F | F | T |
| 124923 | T | * | T |
| 124924 | F | F | T |
| 124925 | T | * | T |
| 141641 | F | F | T |
| 141642 | T | * | T |
| 141643 | F | F | T |
| 141644 | T | * | T |
| 224767 | F | F | T |
| 224768 | T | * | T |
| 224769 | F | F | T |
| 224770 | T | * | T |
| 302144 | F | F | T |
| 302145 | T | * | T |
| 302146 | F | F | T |
| 302147 | T | * | T |
Independent-effect pairs
c0(branch4910): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c1(branch4911): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823