Decision #148 — library/alloc/src/vec/mod.rs:1037
Status: no_witness
Truth table
| row | c0 br 1069 | c1 br 1070 | outcome |
|---|---|---|---|
| 80803 | T | * | T |
| 80804 | F | T | T |
| 81990 | T | * | T |
| 81991 | T | * | T |
| 83052 | T | * | T |
| 83053 | F | T | T |
Independent-effect pairs
c0(branch1069): GAP view gap →scry_analyze_core::handle_memory_load· br_if
inlined: lib.rs:4942 ← library/alloc/src/vec/mod.rs:1004c1(branch1070): GAP view gap →scry_analyze_core::handle_memory_load· br_if