Decision #432 — library/core/src/ptr/mod.rs:1733
Status: no_witness
Truth table
| row | c0 br 2868 | c1 br 3008 | outcome |
|---|---|---|---|
| 520 | F | * | T |
| 4314 | F | * | T |
| 8044 | F | * | T |
| 16415 | F | * | T |
| 25895 | F | * | T |
| 47742 | F | * | T |
| 47743 | F | * | T |
| 51911 | F | * | T |
| 51912 | F | * | T |
| 56449 | F | * | T |
| 56450 | F | * | T |
| 60666 | F | * | T |
| 60667 | F | * | T |
| 65011 | F | * | T |
| 76524 | F | * | T |
| 102532 | F | * | T |
| 108911 | F | * | T |
| 114399 | F | * | T |
| 163162 | F | * | T |
| 164733 | F | * | T |
| 166455 | F | * | T |
Independent-effect pairs
c0(branch2868): GAP view gap →scry_analyze_core::compute_float_facts· br_ifc1(branch3008): DEAD view gap →scry_analyze_core::compute_float_facts· br_if
inlined: lib.rs:2799 ← library/alloc/src/vec/mod.rs:2850