Decision #157 — lib.rs:5105
Status: no_witness
Truth table
| row | c0 br 1377 | c1 br 1378 | c2 br 1379 | c3 br 1380 | c4 br 1381 | outcome |
|---|---|---|---|---|---|---|
| 6438 | * | * | * | F | * | F |
| 6439 | * | * | * | F | * | F |
| 6440 | * | * | * | F | * | F |
| 43636 | * | * | * | * | T | T |
| 43637 | * | * | * | F | T | T |
| 43638 | * | * | * | * | T | T |
| 43639 | * | * | * | * | T | T |
| 47089 | * | * | * | * | T | T |
| 47090 | * | * | * | F | T | T |
| 47091 | * | * | * | * | T | T |
| 47092 | * | * | * | * | T | T |
| 131190 | * | * | * | * | T | T |
| 131191 | * | * | * | F | T | T |
| 132517 | * | * | * | * | T | T |
| 132518 | * | * | * | F | T | T |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::run_taint_analysis — 5 br_if
c0(branch1377): DEAD view gap →c1(branch1378): DEAD view gap →c2(branch1379): DEAD view gap →c3(branch1380): GAP view gap →c4(branch1381): GAP view gap →