Decision #186 — library/alloc/src/raw_vec/mod.rs:434

Status: partial

Truth table

rowc0 br 1601c1 br 1602c2 br 1603outcome
556**FF
557**TT
558**TT
3596**FF
3597**TT
3598**TT
6541**FF
6542**TT
6543**TT

Independent-effect pairs

All 3 conditions live in scry_analyze_core::build_static_call_graph — 3 br_if