Decision #485 — library/alloc/src/raw_vec/mod.rs:435
Status: partial
Truth table
| row | c0 br 3411 | c1 br 3412 | outcome |
|---|---|---|---|
| 14722 | * | F | F |
| 14723 | * | F | F |
| 14724 | * | F | F |
| 14725 | * | F | F |
| 99723 | T | T | T |
| 99724 | * | F | F |
| 99725 | T | T | T |
| 108212 | T | T | T |
| 108213 | * | F | F |
| 108214 | T | T | T |
| 379683 | T | T | T |
| 382567 | T | T | T |
Independent-effect pairs
c0(branch3411): GAP view gap →scry_analyze_core::run_taint_analysis· br_ifc1(branch3412): PROVED — pair rows14722,99723(masking)scry_analyze_core::run_taint_analysis· br_if