Decision #506 — library/core/src/slice/iter/macros.rs:180
Status: no_witness
Truth table
| row | c0 br 3356 | c1 br 3368 | outcome |
|---|---|---|---|
| 737 | F | * | F |
| 738 | F | * | F |
| 739 | F | * | F |
| 740 | F | * | F |
| 4530 | F | * | F |
| 4531 | F | * | F |
| 4532 | F | * | F |
| 4533 | F | * | F |
| 8261 | F | * | F |
| 8262 | F | * | F |
| 8263 | F | * | F |
| 8264 | F | * | F |
Independent-effect pairs
c0(branch3356): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_ifc1(branch3368): DEAD view gap →scry_analyze_core::emit_call_indirect_edge· br_if