Decision #147 — library/alloc/src/raw_vec/mod.rs:614
Status: no_witness
Truth table
| row | c0 br 1077 | c1 br 1078 | outcome |
|---|---|---|---|
| 80801 | * | T | T |
| 80802 | * | T | T |
| 81988 | * | T | T |
| 81989 | * | T | T |
| 83050 | * | T | T |
| 83051 | * | T | T |
Independent-effect pairs
c0(branch1077): DEAD view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:4961 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2025 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609c1(branch1078): GAP view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:4967 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309