Decision #1618 — library/alloc/src/raw_vec/mod.rs:435
Status: partial
Truth table
| row | c0 br 2967 | c1 br 2968 | c2 br 2969 | c3 br 2970 | c4 br 2971 | c5 br 2972 | c6 br 2973 | c7 br 2974 | c8 br 2975 | c9 br 2976 | c10 br 2977 | c11 br 2978 | c12 br 2979 | c13 br 2980 | outcome |
|---|
Independent-effect pairs
All 14 conditions live in <scry_analyze_core::Interp>::seq — 2 br_table_default + 12 br_table_target
c0(branch2967): PROVEDc1(branch2968): DEAD view gap →c2(branch2969): DEAD view gap →c3(branch2970): DEAD view gap →c4(branch2971): DEAD view gap →c5(branch2972): PROVEDc6(branch2973): DEAD view gap →c7(branch2974): PROVEDc8(branch2975): DEAD view gap →c9(branch2976): DEAD view gap →c10(branch2977): DEAD view gap →c11(branch2978): DEAD view gap →c12(branch2979): PROVEDc13(branch2980): DEAD view gap →