Decision #205 — library/core/src/ptr/mod.rs:810
Status: no_witness
Truth table
| row | c0 br 1670 | c1 br 1671 | c2 br 1687 | c3 br 1688 | c4 br 1709 | c5 br 1710 | outcome |
|---|---|---|---|---|---|---|---|
| 603 | F | T | F | F | T | F | T |
| 604 | F | T | * | * | * | * | T |
| 605 | F | T | F | F | T | F | T |
| 606 | F | T | * | * | * | * | T |
| 3643 | F | T | F | F | T | F | T |
| 3644 | F | T | * | * | * | * | T |
| 3645 | F | T | F | F | T | F | T |
| 3646 | F | T | * | * | * | * | T |
| 6588 | F | T | F | F | T | F | T |
| 6589 | F | T | * | * | * | * | T |
| 6590 | F | T | F | F | T | F | T |
| 6591 | F | T | * | * | * | * | T |
Independent-effect pairs
c0(branch1670): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4645c1(branch1671): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4645c2(branch1687): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4219 ← library/core/src/iter/traits/iterator.rs:2899 ← library/core/src/iter/traits/iterator.rs:2496 ← library/core/src/iter/traits/iterator.rs:2895 ← lib.rs:4219c3(branch1688): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4219 ← library/core/src/iter/traits/iterator.rs:2899 ← library/core/src/iter/traits/iterator.rs:2496 ← library/core/src/iter/traits/iterator.rs:2895 ← lib.rs:4219 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c4(branch1709): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4253c5(branch1710): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4253 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810