Decision #487 — library/alloc/src/vec/mod.rs:1873
Status: no_witness
Truth table
| row | c0 br 3158 | c1 br 3159 | outcome |
|---|---|---|---|
| 14726 | * | F | F |
| 99726 | * | F | F |
| 99727 | * | F | F |
| 108215 | * | F | F |
| 108216 | * | F | F |
| 379684 | * | F | F |
| 382568 | * | F | F |
Independent-effect pairs
c0(branch3158): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:8716 ← library/alloc/src/vec/mod.rs:3990 ← library/alloc/src/vec/mod.rs:3797c1(branch3159): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:8717 ← library/alloc/src/vec/mod.rs:3797