Decision #276 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 1415 | c1 br 1430 | c2 br 1431 | outcome |
|---|---|---|---|---|
| 95791 | * | F | F | F |
| 95792 | * | F | F | F |
| 95793 | * | F | F | F |
| 95794 | * | F | F | F |
| 110912 | * | F | F | F |
| 110913 | * | F | F | F |
| 110914 | * | F | F | F |
| 110915 | * | F | F | F |
| 114151 | * | F | F | F |
| 114152 | * | F | F | F |
Independent-effect pairs
c0(branch1415): DEAD view gap →scry_analyze_core::op_report_name· br_if
inlined: lib.rs:3269 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch1430): GAP view gap →scry_analyze_core::op_report_name· br_if
inlined: lib.rs:2507 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c2(branch1431): GAP view gap →scry_analyze_core::op_report_name· br_if
inlined: lib.rs:2507 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045