Decision #1244 — library/alloc/src/raw_vec/mod.rs:470
Status: no_witness
Truth table
| row | c0 br 8421 | c1 br 8422 | outcome |
|---|---|---|---|
| 2678 | F | * | F |
| 2679 | F | * | F |
| 9635 | F | * | F |
| 9636 | F | * | F |
| 16456 | F | * | F |
| 16457 | F | * | F |
| 22299 | F | * | F |
| 22300 | F | * | F |
| 25039 | F | * | F |
| 25040 | F | * | F |
| 27685 | F | * | F |
| 27686 | F | * | F |
| 39093 | F | * | F |
| 39094 | F | * | F |
| 59945 | F | * | F |
| 59946 | F | * | F |
| 75479 | F | * | F |
| 75480 | F | * | F |
| 85362 | F | * | F |
| 85363 | F | * | F |
| 93632 | F | * | F |
| 93633 | F | * | F |
| 101473 | F | * | F |
| 101474 | F | * | F |
| 109957 | F | * | F |
| 109958 | F | * | F |
| 117976 | F | * | F |
| 117977 | F | * | F |
| 132450 | F | * | F |
| 132451 | F | * | F |
| 149169 | F | * | F |
| 149170 | F | * | F |
| 160187 | F | * | F |
| 160188 | F | * | F |
| 170045 | F | * | F |
| 170046 | F | * | F |
| 177293 | F | * | F |
| 177294 | F | * | F |
| 181810 | F | * | F |
| 181811 | F | * | F |
| 185126 | F | * | F |
| 185127 | F | * | F |
| 188237 | F | * | F |
| 188238 | F | * | F |
| 192303 | F | * | F |
| 192304 | F | * | F |
| 198322 | F | * | F |
| 198323 | F | * | F |
| 204157 | F | * | F |
| 204158 | F | * | F |
| 209431 | F | * | F |
| 209432 | F | * | F |
| 217101 | F | * | F |
| 217102 | F | * | F |
| 252918 | F | * | F |
| 252919 | F | * | F |
| 330295 | F | * | F |
| 330296 | F | * | F |
| 377732 | F | * | F |
| 377733 | F | * | F |
| 380393 | F | * | F |
| 380394 | F | * | F |
| 383274 | F | * | F |
| 383275 | F | * | F |
Independent-effect pairs
c0(branch8421): GAP view gap →<wasmparser::parser::Parser>::check_function_code_counts· br_ifc1(branch8422): DEAD view gap →<wasmparser::parser::Parser>::check_function_code_counts· br_if