Decision #1018 — library/alloc/src/alloc.rs:128
Status: partial
Truth table
| row | c0 br 5031 | c1 br 5032 | c2 br 5033 | c3 br 5034 | c4 br 5035 | c5 br 5036 | c6 br 5037 | c7 br 5038 | c8 br 5039 | c9 br 5040 | c10 br 5041 | c11 br 5042 | c12 br 5043 | c13 br 5044 | c14 br 5045 | outcome |
|---|
Independent-effect pairs
c0(branch5031): PROVED<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c1(branch5032): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c2(branch5033): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c3(branch5034): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c4(branch5035): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c5(branch5036): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c6(branch5037): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c7(branch5038): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c8(branch5039): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c9(branch5040): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c10(branch5041): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c11(branch5042): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c12(branch5043): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c13(branch5044): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_target
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c14(branch5045): DEAD view gap →<wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader· br_table_default
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177 ← library/core/src/iter/traits/iterator.rs:2558 ← library/core/src/iter/adapters/mod.rs:195 ← library/core/src/iter/adapters/mod.rs:198 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/alloc/src/raw_vec/mod.rs:424 ← library/alloc/src/raw_vec/mod.rs:876 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229