Decision #484 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3266 | c1 br 3273 | c2 br 3274 | c3 br 3275 | c4 br 3285 | c5 br 3286 | outcome |
|---|---|---|---|---|---|---|---|
| 677 | F | * | * | * | * | F | T |
| 678 | * | * | * | * | * | T | T |
| 679 | F | * | * | * | * | T | T |
| 680 | * | * | * | * | * | F | T |
| 681 | * | * | * | * | * | T | T |
| 682 | * | * | * | * | * | T | T |
| 4471 | F | * | * | * | * | F | T |
| 4472 | * | * | * | * | * | T | T |
| 4473 | F | * | * | * | * | T | T |
| 4474 | * | * | * | * | * | F | T |
| 4475 | * | * | * | * | * | T | T |
| 4476 | * | * | * | * | * | T | T |
| 8201 | F | * | * | * | * | F | T |
| 8202 | * | * | * | * | * | T | T |
| 8203 | F | * | * | * | * | T | T |
| 8204 | * | * | * | * | * | F | T |
| 8205 | * | * | * | * | * | T | T |
| 8206 | * | * | * | * | * | T | T |
Independent-effect pairs
c0(branch3266): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6252 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch3273): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6279 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c2(branch3274): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6279 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c3(branch3275): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6279 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c4(branch3285): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6269 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c5(branch3286): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:6269 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045