Decision #1602 — library/alloc/src/vec/mod.rs:2946
Status: unreached
Truth table
| row | c0 br 1672 | c1 br 1673 | c2 br 1674 | c3 br 1675 | outcome |
|---|
Independent-effect pairs
c0(branch1672): DEAD view gap →scry_analyze_core::i32_shiftop· br_table_target
inlined: lib.rs:3482 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56c1(branch1673): DEAD view gap →scry_analyze_core::i32_shiftop· br_table_target
inlined: lib.rs:3482 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56c2(branch1674): DEAD view gap →scry_analyze_core::i32_shiftop· br_table_target
inlined: lib.rs:3482 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56c3(branch1675): DEAD view gap →scry_analyze_core::i32_shiftop· br_table_default
inlined: lib.rs:3482 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56