Decision #413 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 2521 | c1 br 2522 | c2 br 2546 | c3 br 2816 | c4 br 2829 | c5 br 2834 | outcome |
|---|---|---|---|---|---|---|---|
| 8000 | F | T | * | * | F | * | T |
| 8001 | F | T | * | * | F | * | T |
| 8002 | F | T | * | * | F | * | T |
| 8003 | F | T | * | * | F | F | T |
| 8004 | F | F | * | F | F | F | T |
| 51875 | F | F | * | * | F | F | T |
| 51876 | F | T | * | * | F | F | T |
| 51877 | F | F | * | F | F | F | T |
| 56413 | F | F | * | * | F | T | T |
| 56414 | F | T | * | * | F | T | T |
| 56415 | F | F | * | F | F | T | T |
| 164720 | F | F | * | * | F | F | T |
| 166442 | F | F | * | * | F | T | T |
Independent-effect pairs
c0(branch2521): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:6700 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch2522): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:6700 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c2(branch2546): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: library/alloc/src/vec/mod.rs:1045c3(branch2816): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:41 ← library/alloc/src/vec/spec_extend.rs:18 ← library/alloc/src/vec/mod.rs:4037c4(branch2829): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:2715 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c5(branch2834): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:2718 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045