Decision #503 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3348 | c1 br 3349 | outcome |
|---|---|---|---|
| 730 | F | F | F |
| 731 | F | F | F |
| 732 | F | F | F |
| 733 | F | F | F |
| 4524 | F | F | F |
| 4525 | F | F | F |
| 4526 | F | F | F |
| 4527 | F | F | F |
| 8254 | F | F | F |
| 8255 | F | F | F |
| 8256 | F | F | F |
| 8257 | F | F | F |
Independent-effect pairs
c0(branch3348): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:6321 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch3349): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:6321 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045