Decision #1627 — lib.rs:1456

Status: partial

Truth table

rowc0 br 3071c1 br 3072c2 br 3073c3 br 3074outcome

Independent-effect pairs

All 4 conditions live in scry_analyze_core::handle_memory_load — 1 br_table_default + 3 br_table_target