Decision #590 — library/core/src/ptr/mod.rs:1733
Status: partial
Truth table
| row | c0 br 3897 | c1 br 3898 | outcome |
|---|---|---|---|
| 1086 | F | F | F |
| 1087 | F | F | F |
| 1088 | F | F | F |
| 1089 | F | F | F |
| 1090 | F | F | F |
| 4879 | F | F | F |
| 4880 | F | F | F |
| 4881 | F | F | F |
| 4882 | F | F | F |
| 4883 | F | F | F |
| 8614 | F | F | F |
| 8615 | F | F | F |
| 8616 | F | F | F |
| 8617 | F | F | F |
| 8618 | F | F | F |
| 12033 | F | F | F |
| 13409 | F | F | F |
| 14734 | F | F | F |
| 16664 | F | F | F |
| 26144 | F | F | F |
| 35766 | F | F | F |
| 41979 | F | F | F |
| 48116 | F | F | F |
| 48117 | F | F | F |
| 48118 | F | F | F |
| 52287 | F | F | F |
| 52288 | F | F | F |
| 52289 | F | F | F |
| 56825 | F | F | F |
| 56826 | F | F | F |
| 56827 | F | F | F |
| 61040 | F | F | F |
| 61041 | F | F | F |
| 61042 | F | F | F |
| 65260 | F | F | F |
| 76773 | F | F | F |
| 88556 | F | F | F |
| 88557 | F | F | F |
| 88558 | F | F | F |
| 88559 | F | F | F |
| 88560 | F | F | F |
| 88561 | F | F | F |
| 92824 | F | F | F |
| 92825 | F | F | F |
| 92826 | F | F | F |
| 92827 | F | F | F |
| 92828 | F | F | F |
| 92829 | F | F | F |
| 96232 | T | * | T |
| 96233 | T | * | T |
| 96234 | T | * | T |
| 98094 | F | F | F |
| 99611 | F | F | F |
| 101027 | F | F | F |
| 102752 | F | F | F |
| 106068 | F | F | F |
| 106069 | F | F | F |
| 106070 | F | F | F |
| 109098 | F | F | F |
| 111843 | F | F | F |
| 111844 | F | F | F |
| 114695 | F | F | F |
| 118724 | F | F | F |
| 141660 | F | F | F |
| 163313 | F | F | F |
| 164884 | F | F | F |
| 166606 | F | F | F |
Independent-effect pairs
c0(branch3897): PROVED — pair rows1086,96232(masking)<core::option::Option<&(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>::cloned· br_if
inlined: lib.rs:5368 ← library/alloc/src/vec/mod.rs:2850c1(branch3898): GAP view gap →<core::option::Option<&(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>::cloned· br_if