Decision #408 — library/alloc/src/raw_vec/mod.rs:614
Status: no_witness
Truth table
| row | c0 br 2543 | c1 br 2545 | outcome |
|---|---|---|---|
| 7989 | * | T | T |
| 7990 | * | T | T |
| 7991 | * | T | T |
| 7992 | * | T | T |
| 7993 | * | T | T |
| 51866 | * | T | T |
| 51867 | * | T | T |
| 51868 | * | T | T |
| 56404 | * | T | T |
| 56405 | * | T | T |
| 56406 | * | T | T |
| 164716 | * | T | T |
| 166438 | * | T | T |
Independent-effect pairs
c0(branch2543): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:6738 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2052 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch2545): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309