Decision #589 — library/core/src/option.rs:1366
Status: no_witness
Truth table
| row | c0 br 3893 | c1 br 3894 | c2 br 3895 | outcome |
|---|---|---|---|---|
| 1081 | F | T | * | T |
| 1082 | F | T | * | T |
| 1083 | F | T | * | T |
| 1084 | F | T | * | T |
| 1085 | F | F | F | T |
| 4874 | F | T | * | T |
| 4875 | F | T | * | T |
| 4876 | F | T | * | T |
| 4877 | F | T | * | T |
| 4878 | F | F | F | T |
| 8609 | F | T | * | T |
| 8610 | F | T | * | T |
| 8611 | F | T | * | T |
| 8612 | F | T | * | T |
| 8613 | F | F | F | T |
| 12032 | F | T | * | T |
| 13408 | F | T | * | T |
| 14733 | F | T | * | T |
| 16663 | F | F | F | T |
| 26143 | F | F | F | T |
| 35765 | F | T | * | T |
| 41978 | F | T | * | T |
| 48113 | F | F | F | T |
| 48114 | F | T | * | T |
| 48115 | F | F | F | T |
| 52284 | F | F | F | T |
| 52285 | F | T | * | T |
| 52286 | F | F | F | T |
| 56822 | F | F | F | T |
| 56823 | F | T | * | T |
| 56824 | F | F | F | T |
| 61037 | F | F | F | T |
| 61038 | F | T | * | T |
| 61039 | F | F | F | T |
| 65259 | F | F | F | T |
| 76772 | F | F | F | T |
| 88550 | F | T | * | T |
| 88551 | F | T | * | T |
| 88552 | F | T | * | T |
| 88553 | F | T | * | T |
| 88554 | F | T | * | T |
| 88555 | F | T | * | T |
| 92818 | F | T | * | T |
| 92819 | F | T | * | T |
| 92820 | F | T | * | T |
| 92821 | F | T | * | T |
| 92822 | F | T | * | T |
| 92823 | F | T | * | T |
| 96229 | F | T | * | T |
| 96230 | F | T | * | T |
| 96231 | F | T | * | T |
| 98093 | F | T | * | T |
| 99610 | F | T | * | T |
| 101026 | F | T | * | T |
| 102751 | F | F | F | T |
| 106065 | F | T | * | T |
| 106066 | F | T | * | T |
| 106067 | F | T | * | T |
| 109097 | F | F | F | T |
| 111841 | F | T | * | T |
| 111842 | F | T | * | T |
| 114694 | F | F | F | T |
| 118723 | F | T | * | T |
| 141659 | F | T | * | T |
| 163312 | F | F | F | T |
| 164883 | F | F | F | T |
| 166605 | F | F | F | T |
Independent-effect pairs
All 3 conditions live in <core::option::Option<&(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>::cloned — 3 br_if
c0(branch3893): GAP view gap →c1(branch3894): GAP view gap →c2(branch3895): GAP view gap →