Decision #755 — library/alloc/src/collections/btree/map.rs:1920
Status: no_witness
Truth table
| row | c0 br 4882 | c1 br 4883 | c2 br 4884 | c3 br 4915 | c4 br 4916 | outcome |
|---|---|---|---|---|---|---|
| 31154 | T | * | T | T | * | T |
| 31155 | T | * | T | T | * | T |
| 52008 | T | * | T | T | * | T |
| 52009 | T | * | T | T | * | T |
| 72968 | T | * | T | T | * | T |
| 72969 | T | * | T | T | * | T |
| 82851 | T | * | T | T | * | T |
| 82852 | T | * | T | T | * | T |
| 124918 | T | * | T | T | * | T |
| 124919 | T | * | T | T | * | T |
| 141637 | T | * | T | T | * | T |
| 141638 | T | * | T | T | * | T |
| 224751 | T | * | T | * | * | T |
| 224752 | T | * | T | T | * | T |
| 224753 | T | * | T | * | * | T |
| 224754 | T | * | T | T | * | T |
| 302128 | T | * | T | * | * | T |
| 302129 | T | * | T | T | * | T |
| 302130 | T | * | T | * | * | T |
| 302131 | T | * | T | T | * | T |
Independent-effect pairs
c0(branch4882): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:5939 ← library/alloc/src/collections/btree/set.rs:587 ← library/alloc/src/collections/btree/map.rs:208 ← library/core/src/mem/mod.rs:1041 ← library/core/src/ptr/mod.rs:823c1(branch4883): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:5939 ← library/alloc/src/collections/btree/set.rs:587 ← library/alloc/src/collections/btree/map.rs:208 ← library/core/src/mem/mod.rs:1041 ← library/core/src/ptr/mod.rs:823c2(branch4884): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:5939 ← library/alloc/src/collections/btree/set.rs:587 ← library/alloc/src/collections/btree/map.rs:208 ← library/core/src/mem/mod.rs:1041 ← library/core/src/ptr/mod.rs:823c3(branch4915): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:5975 ← library/alloc/src/collections/btree/set.rs:587 ← library/alloc/src/collections/btree/map.rs:208 ← library/core/src/mem/mod.rs:1041 ← library/core/src/ptr/mod.rs:823c4(branch4916): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_if
inlined: lib.rs:5975 ← library/alloc/src/collections/btree/set.rs:587 ← library/alloc/src/collections/btree/map.rs:208 ← library/core/src/mem/mod.rs:1041 ← library/core/src/ptr/mod.rs:823