Decision #163 — library/alloc/src/raw_vec/mod.rs:614
Status: no_witness
Truth table
| row | c0 br 1093 | c1 br 1102 | outcome |
|---|---|---|---|
| 6458 | F | * | F |
| 6459 | F | * | F |
| 6460 | F | * | F |
| 6461 | F | * | F |
| 6462 | F | * | F |
| 43659 | F | * | F |
| 43660 | F | * | F |
| 43661 | F | * | F |
| 47112 | F | * | F |
| 47113 | F | * | F |
| 47114 | F | * | F |
| 131199 | F | * | F |
| 132526 | F | * | F |
Independent-effect pairs
c0(branch1093): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:5008 ← library/alloc/src/vec/mod.rs:2823 ← library/alloc/src/vec/mod.rs:1941 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch1102): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:4991 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309