Decision #491 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 3157 | c1 br 3164 | c2 br 3421 | c3 br 3440 | c4 br 3446 | c5 br 3447 | outcome |
|---|---|---|---|---|---|---|---|
| 14739 | * | T | * | * | * | * | T |
| 14740 | * | T | * | * | T | * | T |
| 14741 | * | T | * | * | * | * | T |
| 14742 | * | T | * | * | T | * | T |
| 14743 | * | T | * | * | * | * | T |
| 14744 | * | T | * | * | T | * | T |
| 14745 | * | T | * | * | * | * | T |
| 14746 | * | T | * | * | * | * | T |
| 14747 | F | F | * | F | F | F | T |
| 14748 | * | T | * | * | * | * | T |
| 14749 | * | T | * | * | * | * | T |
| 14750 | * | F | * | F | F | F | T |
| 99739 | F | T | * | * | * | * | T |
| 99740 | * | T | * | * | * | * | T |
| 99741 | * | T | * | * | * | * | T |
| 99742 | * | T | * | * | F | F | T |
| 99743 | * | T | * | * | * | * | T |
| 99744 | * | T | * | * | * | * | T |
| 99745 | F | F | * | F | F | F | T |
| 99746 | * | T | * | * | * | * | T |
| 99747 | * | T | * | * | * | * | T |
| 99748 | * | T | * | * | * | * | T |
| 99749 | * | T | * | * | * | * | T |
| 99750 | * | F | * | F | F | F | T |
| 108228 | F | T | * | * | * | * | T |
| 108229 | * | T | * | * | * | * | T |
| 108230 | * | T | * | * | * | * | T |
| 108231 | * | T | * | * | F | F | T |
| 108232 | * | T | * | * | * | * | T |
| 108233 | * | T | * | * | * | * | T |
| 108234 | F | F | * | F | F | F | T |
| 108235 | * | T | * | * | * | * | T |
| 108236 | * | T | * | * | * | * | T |
| 108237 | * | T | * | * | * | * | T |
| 108238 | * | T | * | * | * | * | T |
| 108239 | * | F | * | F | F | F | T |
| 379690 | F | T | * | * | * | * | T |
| 379691 | * | T | * | * | * | * | T |
| 379692 | * | T | * | * | * | * | T |
| 379693 | * | T | * | * | F | F | T |
| 382574 | F | T | * | * | * | * | T |
| 382575 | * | T | * | * | * | * | T |
| 382576 | * | T | * | * | * | * | T |
| 382577 | * | T | * | * | F | F | T |
Independent-effect pairs
c0(branch3157): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: library/alloc/src/vec/mod.rs:1043c1(branch3164): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:8726 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c2(branch3421): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:4622 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c3(branch3440): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:3028 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c4(branch3446): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:3031 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c5(branch3447): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:3031 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043