Decision #132 — library/core/src/ptr/mod.rs:810
Status: no_witness
Truth table
| row | c0 br 670 | c1 br 697 | outcome |
|---|---|---|---|
| 13390 | T | * | T |
| 13391 | T | * | T |
| 21108 | T | * | T |
| 21109 | T | * | T |
| 28903 | T | * | T |
| 28904 | T | * | T |
| 34841 | T | * | T |
| 34842 | T | * | T |
| 53298 | T | * | T |
| 53299 | T | * | T |
| 63070 | T | * | T |
| 63071 | T | * | T |
| 92994 | T | * | T |
| 92995 | T | * | T |
| 111857 | T | * | T |
| 111858 | T | * | T |
Independent-effect pairs
c0(branch670): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:3128 ← library/core/src/ptr/mod.rs:810c1(branch697): DEAD view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2861 ← library/core/src/ptr/mod.rs:810