Decision #458 — library/alloc/src/raw_vec/mod.rs:435
Status: no_witness
Truth table
| row | c0 br 3018 | c1 br 3019 | c2 br 3020 | c3 br 3028 | c4 br 3039 | c5 br 3042 | c6 br 3043 | c7 br 3057 | c8 br 3060 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|
| 989 | * | * | T | * | * | * | * | T | * | T |
| 7949 | * | * | T | * | * | * | * | T | * | T |
| 14690 | * | * | T | * | * | * | * | T | * | T |
| 21649 | * | * | T | * | * | * | * | T | * | T |
| 24392 | * | * | T | * | * | * | * | T | * | T |
| 27035 | * | * | T | * | * | * | * | T | * | T |
| 30603 | * | * | T | * | * | * | * | T | * | T |
| 51458 | * | * | T | * | * | * | * | T | * | T |
| 72385 | * | * | T | * | * | * | * | T | * | T |
| 82268 | * | * | T | * | * | * | * | T | * | T |
| 91920 | * | * | T | * | * | * | * | F | F | T |
| 99697 | * | * | T | * | * | * | * | F | F | T |
| 108186 | * | * | T | * | * | * | * | F | F | T |
| 116264 | * | * | T | * | * | * | * | F | F | T |
| 124334 | * | * | T | * | * | * | * | T | * | T |
| 141053 | * | * | T | * | * | * | * | T | * | T |
| 158137 | * | * | T | * | * | * | * | T | * | T |
| 167995 | * | * | T | * | * | * | * | T | * | T |
| 176415 | * | * | T | * | * | * | * | T | * | T |
| 181136 | * | * | F | F | * | * | * | T | * | T |
| 184456 | * | * | F | F | * | * | * | T | * | T |
| 187563 | * | * | F | F | * | * | * | T | * | T |
| 191114 | * | * | T | * | * | * | * | T | * | T |
| 196378 | * | * | T | * | * | * | * | T | * | T |
| 203241 | * | * | T | * | * | * | * | T | * | T |
| 207710 | * | * | T | * | * | * | * | T | * | T |
| 215590 | * | * | T | * | * | * | * | F | F | T |
| 224061 | * | * | T | * | * | * | * | T | * | T |
| 301438 | * | * | T | * | * | * | * | T | * | T |
| 377036 | * | * | T | * | * | * | * | T | * | T |
| 379673 | * | * | T | * | * | * | * | T | * | T |
| 382557 | * | * | T | * | * | * | * | T | * | T |
Independent-effect pairs
All 9 conditions live in scry_analyze_core::compute_advisories — 9 br_if
c0(branch3018): DEAD view gap →c1(branch3019): DEAD view gap →c2(branch3020): GAP view gap →c3(branch3028): GAP view gap →c4(branch3039): DEAD view gap →c5(branch3042): DEAD view gap →c6(branch3043): DEAD view gap →c7(branch3057): GAP view gap →c8(branch3060): GAP view gap →