Decision #721 — binary_reader.rs:420

Status: unreached

Truth table

Independent-effect pairs

• c0 (branch 5206): DEAD view gap →
  core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>> · br_if
  inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443
• c1 (branch 5211): DEAD view gap →
  core::ptr::drop_in_place<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType,wasmparser::binary_reader::BinaryReaderError>>> · br_if
  inlined: names.rs:145 ← readers.rs:102 ← binary_reader.rs:443

← back to scry-mcdc