Decision #627 — library/core/src/ptr/mod.rs:823
Status: no_witness
Truth table
| row | c0 br 4176 | c1 br 4177 | c2 br 4179 | c3 br 4200 | outcome |
|---|---|---|---|---|---|
| 1453 | T | F | T | F | T |
| 1454 | T | F | T | * | T |
| 1455 | T | F | T | F | T |
| 1456 | T | F | T | * | T |
| 8413 | T | F | T | F | T |
| 8414 | T | F | T | * | T |
| 8415 | T | F | T | F | T |
| 8416 | T | F | T | * | T |
| 15214 | T | F | T | F | T |
| 15215 | T | F | T | * | T |
| 15216 | T | F | T | F | T |
| 15217 | T | F | T | * | T |
Independent-effect pairs
c0(branch4176): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:7859 ← library/core/src/iter/traits/iterator.rs:2897 ← library/core/src/iter/traits/iterator.rs:2494 ← library/core/src/iter/traits/iterator.rs:2893 ← lib.rs:7859c1(branch4177): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:7859 ← library/core/src/iter/traits/iterator.rs:2897 ← library/core/src/iter/traits/iterator.rs:2494 ← library/core/src/iter/traits/iterator.rs:2893 ← lib.rs:7859 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c2(branch4179): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:7859 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c3(branch4200): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:7893 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823