Decision #629 — library/core/src/ptr/non_null.rs:1650
Status: partial
Truth table
| row | c0 br 4169 | c1 br 4173 | outcome |
|---|---|---|---|
| 1459 | F | * | F |
| 1460 | F | * | F |
| 1461 | F | * | F |
| 1462 | T | T | T |
| 8419 | F | * | F |
| 8420 | F | * | F |
| 8421 | F | * | F |
| 8422 | T | * | T |
| 15220 | F | * | F |
| 15221 | F | * | F |
| 15222 | F | * | F |
| 15223 | T | T | T |
Independent-effect pairs
c0(branch4169): PROVED — pair rows1459,1462(masking)scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:8290 ← library/core/src/slice/iter/macros.rs:180c1(branch4173): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: library/core/src/slice/iter/macros.rs:180