Decision #13 — library/core/src/ptr/mod.rs:1731
Status: no_witness
Truth table
| row | c0 br 94 | c1 br 95 | outcome |
|---|---|---|---|
| 34 | T | * | T |
| 6994 | T | * | T |
| 13732 | T | * | T |
| 21179 | T | * | T |
| 23922 | T | * | T |
| 26565 | T | * | T |
| 29320 | T | * | T |
| 50175 | T | * | T |
| 70888 | T | * | T |
| 80771 | T | * | T |
| 90669 | T | * | T |
| 98443 | T | * | T |
| 106937 | T | * | T |
| 115013 | T | * | T |
| 122781 | T | * | T |
| 139500 | T | * | T |
| 156245 | T | * | T |
| 166103 | T | * | T |
| 175929 | T | * | T |
| 180736 | T | * | T |
| 184056 | T | * | T |
| 187163 | T | * | T |
| 190488 | T | * | T |
| 194678 | T | * | T |
| 202826 | T | * | T |
| 206025 | T | * | T |
| 214396 | T | * | T |
| 221953 | T | * | T |
| 299330 | T | * | T |
| 376693 | T | * | T |
| 379330 | T | * | T |
| 382214 | T | * | T |
Independent-effect pairs
c0(branch94): GAP view gap →<[scry_analyze_core::TrapCheck]>::sort_by_key::<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1115 ← library/core/src/mem/maybe_uninit.rs:799 ← library/core/src/ptr/const_ptr.rs:1153c1(branch95): DEAD view gap →<[scry_analyze_core::TrapCheck]>::sort_by_key::<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>· br_if
inlined: library/alloc/src/collections/btree/node.rs:1115 ← library/core/src/mem/maybe_uninit.rs:799 ← library/core/src/ptr/const_ptr.rs:1153