Decision #692 — library/alloc/src/alloc.rs:128
Status: no_witness
Truth table
| row | c0 br 4940 | c1 br 4946 | outcome |
|---|---|---|---|
| 1367 | * | T | T |
| 1368 | * | T | T |
| 4407 | * | T | T |
| 4408 | * | T | T |
| 7356 | * | T | T |
| 7357 | * | T | T |
| 9911 | * | T | T |
| 11059 | * | T | T |
| 12150 | * | T | T |
| 18295 | * | T | T |
| 26013 | * | T | T |
| 31739 | * | T | T |
| 37677 | * | T | T |
| 41310 | * | T | T |
| 41311 | * | T | T |
| 44323 | * | T | T |
| 44324 | * | T | T |
| 47775 | * | T | T |
| 47776 | * | T | T |
| 50850 | * | T | T |
| 50851 | * | T | T |
| 59754 | * | T | T |
| 69526 | * | T | T |
| 73793 | * | T | T |
| 77268 | * | T | T |
| 79732 | * | T | T |
| 81136 | * | T | T |
| 82323 | * | T | T |
| 83385 | * | T | T |
| 84671 | * | T | T |
| 86549 | * | T | T |
| 88002 | * | T | T |
| 89874 | * | T | T |
| 91405 | * | T | T |
| 107422 | * | T | T |
| 126285 | * | T | T |
| 130314 | * | T | T |
| 131489 | * | T | T |
| 132816 | * | T | T |
Independent-effect pairs
c0(branch4940): DEAD view gap →wasmparser::readers::core::types::read_composite_type· br_if
inlined: types.rs:2210 ← library/core/src/ptr/mod.rs:810 ← binary_reader.rs:861 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c1(branch4946): GAP view gap →wasmparser::readers::core::types::read_composite_type· br_if
inlined: types.rs:2210 ← library/core/src/ptr/mod.rs:810 ← binary_reader.rs:861 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/boxed.rs:1930 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229