Decision #336 — library/core/src/ptr/mod.rs:1721
Status: no_witness
Truth table
| row | c0 br 2450 | c1 br 2451 | outcome |
|---|---|---|---|
| 1009 | F | T | T |
| 1010 | * | F | T |
| 4049 | F | T | T |
| 4050 | * | F | T |
| 6998 | F | T | T |
| 6999 | * | F | T |
| 9747 | F | F | T |
| 10895 | F | F | T |
| 11986 | F | F | T |
| 13794 | F | F | T |
| 21512 | F | F | T |
| 29519 | F | F | T |
| 35457 | F | F | T |
| 41022 | F | T | T |
| 41023 | * | F | T |
| 44035 | F | T | T |
| 44036 | * | F | T |
| 47487 | F | T | T |
| 47488 | * | F | T |
| 50562 | F | T | T |
| 50563 | * | F | T |
| 53787 | F | F | T |
| 63559 | F | F | T |
| 73403 | F | F | T |
| 76878 | F | F | T |
| 79496 | F | F | T |
| 80953 | F | F | T |
| 82140 | F | F | T |
| 83202 | F | F | T |
| 84425 | F | F | T |
| 86170 | F | F | T |
| 87771 | F | F | T |
| 89477 | F | F | T |
| 91119 | F | F | T |
| 93733 | F | F | T |
| 112596 | F | F | T |
| 130161 | F | F | T |
| 131336 | F | F | T |
| 132663 | F | F | T |
Independent-effect pairs
c0(branch2450): GAP view gap →core::ptr::drop_in_place<alloc::vec::Vec<(alloc::vec::Vec<wasmparser::readers::core::types::ValType>,alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:414c1(branch2451): GAP view gap →core::ptr::drop_in_place<alloc::vec::Vec<(alloc::vec::Vec<wasmparser::readers::core::types::ValType>,alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:414