Decision #469 — library/core/src/ptr/mod.rs:823
Status: partial
Truth table
| row | c0 br 3079 | c1 br 3084 | outcome |
|---|---|---|---|
| 181151 | F | T | T |
| 181152 | F | F | F |
| 184471 | F | T | T |
| 184472 | F | T | T |
| 187578 | F | T | T |
| 187579 | F | F | F |
Independent-effect pairs
c0(branch3079): GAP view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:1460 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823c1(branch3084): PROVED — pair rows181151,181152(unique-cause)scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:5032