Decision #8 — lib.rs:232
Status: no_witness
Truth table
| row | c0 br 52 | c1 br 53 | outcome |
|---|---|---|---|
| 5976 | F | F | F |
Independent-effect pairs
c0(branch52): GAP view gap →run_call_indirect_taint· br_ifc1(branch53): GAP view gap →run_call_indirect_taint· br_if