Decision #1028 — `binary_reader.rs:420`

Status: partial

Truth table

row	c0 br 5170	c1 br 5171	c2 br 5172	outcome

Independent-effect pairs

c0 (branch 5170): DEAD view gap →
alloc::vec::Vec<T,A>::extend_desugared · br_table_target
inlined: binary_reader.rs:443
c1 (branch 5171): PROVED
alloc::vec::Vec<T,A>::extend_desugared · br_table_target
inlined: binary_reader.rs:443
c2 (branch 5172): DEAD view gap →
alloc::vec::Vec<T,A>::extend_desugared · br_table_default
inlined: binary_reader.rs:443

← back to scry-mcdc