Decision #611 — library/alloc/src/raw_vec/mod.rs:424
Status: no_witness
Truth table
| row | c0 br 4044 | c1 br 4049 | c2 br 4053 | outcome |
|---|---|---|---|---|
| 16751 | F | F | F | F |
| 16752 | F | F | F | F |
| 26231 | F | F | F | F |
| 26232 | F | F | F | F |
| 35899 | F | F | F | F |
| 35900 | F | F | F | F |
| 42112 | F | F | F | F |
| 42113 | F | F | F | F |
| 65367 | F | F | F | F |
| 65368 | F | F | F | F |
| 76880 | F | F | F | F |
| 76881 | F | F | F | F |
| 118950 | F | * | * | F |
| 118951 | F | F | F | F |
| 118952 | F | * | * | F |
| 118953 | F | F | F | F |
| 141886 | F | * | * | F |
| 141887 | F | F | F | F |
| 141888 | F | * | * | F |
| 141889 | F | F | F | F |
Independent-effect pairs
c0(branch4044): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4201 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch4049): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4218 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c2(branch4053): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:4223 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825