Decision #1243 — library/alloc/src/alloc.rs:99
Status: no_witness
Truth table
| row | c0 br 8419 | c1 br 8420 | outcome |
|---|---|---|---|
| 2676 | F | F | F |
| 2677 | F | F | F |
| 9633 | F | F | F |
| 9634 | F | F | F |
| 16454 | F | F | F |
| 16455 | F | F | F |
| 22297 | F | F | F |
| 22298 | F | F | F |
| 25037 | F | F | F |
| 25038 | F | F | F |
| 27683 | F | F | F |
| 27684 | F | F | F |
| 39091 | F | F | F |
| 39092 | F | F | F |
| 59943 | F | F | F |
| 59944 | F | F | F |
| 75477 | F | F | F |
| 75478 | F | F | F |
| 85360 | F | F | F |
| 85361 | F | F | F |
| 93630 | F | F | F |
| 93631 | F | F | F |
| 101471 | F | F | F |
| 101472 | F | F | F |
| 109955 | F | F | F |
| 109956 | F | F | F |
| 117974 | F | F | F |
| 117975 | F | F | F |
| 132448 | F | F | F |
| 132449 | F | F | F |
| 149167 | F | F | F |
| 149168 | F | F | F |
| 160185 | F | F | F |
| 160186 | F | F | F |
| 170043 | F | F | F |
| 170044 | F | F | F |
| 177291 | F | F | F |
| 177292 | F | F | F |
| 181808 | F | F | F |
| 181809 | F | F | F |
| 185124 | F | F | F |
| 185125 | F | F | F |
| 188235 | F | F | F |
| 188236 | F | F | F |
| 192301 | F | F | F |
| 192302 | F | F | F |
| 198320 | F | F | F |
| 198321 | F | F | F |
| 204155 | F | F | F |
| 204156 | F | F | F |
| 209429 | F | F | F |
| 209430 | F | F | F |
| 217099 | F | F | F |
| 217100 | F | F | F |
| 252916 | F | F | F |
| 252917 | F | F | F |
| 330293 | F | F | F |
| 330294 | F | F | F |
| 377730 | F | F | F |
| 377731 | F | F | F |
| 380391 | F | F | F |
| 380392 | F | F | F |
| 383272 | F | F | F |
| 383273 | F | F | F |
Independent-effect pairs
c0(branch8419): GAP view gap →<wasmparser::parser::Parser>::check_function_code_counts· br_if
inlined: binary_reader.rs:83 ← library/core/src/convert/mod.rs:780 ← library/alloc/src/string.rs:3141 ← library/alloc/src/str.rs:251 ← library/alloc/src/slice.rs:842 ← library/alloc/src/slice.rs:376 ← library/alloc/src/slice.rs:400 ← library/alloc/src/slice.rs:448 ← library/alloc/src/vec/mod.rs:975 ← library/alloc/src/raw_vec/mod.rs:177 ← library/alloc/src/raw_vec/mod.rs:435 ← library/alloc/src/raw_vec/mod.rs:466 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210c1(branch8420): GAP view gap →<wasmparser::parser::Parser>::check_function_code_counts· br_if
inlined: binary_reader.rs:83 ← library/core/src/convert/mod.rs:780 ← library/alloc/src/string.rs:3141 ← library/alloc/src/str.rs:251 ← library/alloc/src/slice.rs:842 ← library/alloc/src/slice.rs:376 ← library/alloc/src/slice.rs:400 ← library/alloc/src/slice.rs:448 ← library/alloc/src/vec/mod.rs:975 ← library/alloc/src/raw_vec/mod.rs:177 ← library/alloc/src/raw_vec/mod.rs:435 ← library/alloc/src/raw_vec/mod.rs:466 ← library/alloc/src/alloc.rs:449 ← library/alloc/src/alloc.rs:332 ← library/alloc/src/alloc.rs:210