Decision #1032 — `library/alloc/src/alloc.rs:128`

Status: no_witness

Truth table

row	c0 br 7295	c1 br 7296	outcome
2161	T	*	T
2162	T	*	T
5952	T	*	T
5953	T	*	T
9733	T	*	T
9734	T	*	T
12470	T	*	T
13844	T	*	T
15171	T	*	T
22606	T	*	T
32084	T	*	T
38403	T	*	T
44616	T	*	T
49274	T	*	T
49275	T	*	T
53475	T	*	T
53476	T	*	T
58005	T	*	T
58006	T	*	T
62198	T	*	T
62199	T	*	T
72726	T	*	T
84239	T	*	T
89823	T	*	T
94091	T	*	T
96790	T	*	T
98550	T	*	T
100065	T	*	T
101483	T	*	T
103571	T	*	T
107293	T	*	T
109744	T	*	T
112772	T	*	T
115646	T	*	T
135442	T	*	T
158378	T	*	T
163795	T	*	T
165376	T	*	T
167096	T	*	T

c0 (branch 7295): GAP view gap →
wasmparser::readers::core::types::read_composite_type · br_if
inlined: types.rs:2210 ← library/core/src/ptr/mod.rs:825 ← binary_reader.rs:861 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← 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
c1 (branch 7296): DEAD view gap →
wasmparser::readers::core::types::read_composite_type · br_if
inlined: types.rs:2210 ← library/core/src/ptr/mod.rs:825 ← binary_reader.rs:861 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/boxed.rs:1956 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229