Decision #1 — lib.rs:232
Status: no_witness
Truth table
| row | c0 br 4 | c1 br 5 | c2 br 6 | c3 br 7 | c4 br 8 | c5 br 9 | c6 br 10 | c7 br 11 | c8 br 12 | c9 br 13 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 1 | * | T | * | F | T | T | * | * | * | * | T |
| 2 | * | * | * | * | T | T | * | * | * | * | T |
| 3 | * | * | * | * | T | T | * | * | * | * | T |
| 4 | * | * | * | * | F | T | * | * | * | * | T |
| 5 | * | * | * | * | F | F | T | * | * | F | T |
| 6961 | * | T | * | F | T | T | * | * | * | * | T |
| 6962 | * | * | * | * | T | T | * | * | * | * | T |
| 6963 | * | * | * | * | T | T | * | * | * | * | T |
| 6964 | * | * | * | * | F | T | * | * | * | * | T |
| 6965 | * | * | * | * | F | F | T | * | * | F | T |
| 13697 | * | F | T | * | * | * | * | * | * | * | T |
| 13698 | * | * | F | F | T | T | * | * | * | * | T |
| 13699 | * | * | * | * | T | T | * | * | * | * | T |
| 13700 | * | * | * | * | T | T | * | * | * | * | T |
| 13701 | * | * | * | * | F | T | * | * | * | * | T |
| 13702 | * | * | * | * | F | F | T | * | * | F | T |
| 21168 | * | T | * | F | F | F | T | * | * | F | T |
| 23911 | * | T | * | F | F | F | T | * | * | F | T |
| 26554 | * | T | * | F | F | F | T | * | * | F | T |
| 29297 | * | T | * | F | F | F | T | * | * | F | T |
| 50152 | * | T | * | F | F | F | T | * | * | F | T |
| 70876 | * | T | * | F | F | F | T | * | * | F | T |
| 80759 | * | T | * | F | F | F | T | * | * | F | T |
| 90642 | * | T | * | F | F | T | * | * | * | * | T |
| 90643 | * | * | * | * | F | T | * | * | * | * | T |
| 90644 | * | * | * | * | F | F | F | T | F | F | T |
| 98414 | * | F | T | * | * | * | * | * | * | * | T |
| 98415 | * | * | T | * | * | * | * | * | * | * | T |
| 98416 | * | * | F | F | F | T | * | * | * | * | T |
| 98417 | * | * | * | * | F | T | * | * | * | * | T |
| 98418 | * | * | * | * | F | F | F | T | F | F | T |
| 106907 | * | F | T | * | * | * | * | * | * | * | T |
| 106908 | * | * | T | * | * | * | * | * | * | * | T |
| 106909 | * | * | F | F | F | T | * | * | * | * | T |
| 106910 | * | * | * | * | F | T | * | * | * | * | T |
| 106911 | * | * | * | * | F | F | F | T | F | F | T |
| 114986 | * | T | * | F | F | T | * | * | * | * | T |
| 114987 | * | * | * | * | F | T | * | * | * | * | T |
| 114988 | * | * | * | * | F | F | F | T | F | F | T |
| 122758 | * | T | * | F | F | F | T | * | * | F | T |
| 139477 | * | T | * | F | F | F | T | * | * | F | T |
| 156196 | * | T | * | F | F | T | * | * | * | * | T |
| 156197 | * | * | * | * | F | T | * | * | * | * | T |
| 156198 | * | * | * | * | F | T | * | * | * | * | T |
| 156199 | * | * | * | * | F | T | * | * | * | * | T |
| 156200 | * | * | * | * | F | T | * | * | * | * | T |
| 156201 | * | * | * | * | F | F | T | * | * | F | T |
| 166054 | * | T | * | F | F | T | * | * | * | * | T |
| 166055 | * | * | * | * | F | T | * | * | * | * | T |
| 166056 | * | * | * | * | F | T | * | * | * | * | T |
| 166057 | * | * | * | * | F | T | * | * | * | * | T |
| 166058 | * | * | * | * | F | T | * | * | * | * | T |
| 166059 | * | * | * | * | F | F | T | * | * | F | T |
| 175912 | * | T | * | F | F | T | * | * | * | * | T |
| 175913 | * | * | * | * | F | T | * | * | * | * | T |
| 175914 | * | * | * | * | F | F | F | T | T | * | T |
| 175915 | * | * | * | * | * | * | * | T | F | F | T |
| 180726 | * | T | * | F | F | F | F | T | F | F | T |
| 184046 | * | T | * | F | F | F | F | T | F | F | T |
| 187153 | * | T | * | F | F | F | F | T | F | F | T |
| 190473 | * | T | * | F | F | F | T | * | * | F | T |
| 194635 | * | T | * | F | F | T | * | * | * | * | T |
| 194636 | * | * | * | * | F | T | * | * | * | * | T |
| 194637 | * | * | * | * | F | F | T | * | * | F | T |
| 202815 | * | T | * | F | F | F | T | * | * | F | T |
| 205996 | * | T | * | F | F | T | * | * | * | * | T |
| 205997 | * | * | * | * | F | F | F | T | T | * | T |
| 205998 | * | * | * | * | * | * | * | T | F | F | T |
| 214381 | * | T | * | F | F | F | F | T | T | * | T |
| 214382 | * | * | * | * | * | * | * | T | F | F | T |
| 221930 | * | T | * | F | F | F | T | * | * | F | T |
| 299307 | * | T | * | F | F | F | T | * | * | F | T |
| 376684 | * | T | * | F | F | F | T | * | * | F | T |
| 379321 | * | F | F | F | F | F | T | * | * | F | T |
| 382204 | * | F | F | F | F | F | T | * | * | F | T |
Independent-effect pairs
All 10 conditions live in core::ptr::drop_glue::<scry_analyze_core::AnalysisResult> — 10 br_if
c0(branch4): DEAD view gap →c1(branch5): GAP view gap →c2(branch6): GAP view gap →c3(branch7): GAP view gap →c4(branch8): GAP view gap →c5(branch9): GAP view gap →c6(branch10): GAP view gap →c7(branch11): GAP view gap →c8(branch12): GAP view gap →c9(branch13): GAP view gap →