Decision #484 — library/alloc/src/raw_vec/mod.rs:435

Status: no_witness

Truth table

rowc0 br 3139c1 br 3140c2 br 3141c3 br 3142outcome
14721FF**T
99721FF**T
99722FF**T
108210FF**T
108211FF**T
379682FF**T
382566FF**T

Independent-effect pairs

All 4 conditions live in scry_analyze_core::run_taint_analysis — 4 br_if