Decision #1429 — `malloc.c:4749`

Status: no_witness

Truth table

row	c0 br 9484	c1 br 9485	c2 br 9486	c3 br 9487	c4 br 9488	c5 br 9489	outcome
4475	*	*	*	*	*	F	T
4476	*	*	*	*	*	F	T
11403	*	*	*	*	*	F	T
18356	*	*	*	*	*	F	T
18357	*	*	*	*	*	F	T
44177	*	*	*	*	*	F	T
65006	*	*	*	*	*	F	T
77809	*	*	*	*	*	F	T
87692	*	*	*	*	*	F	T
95661	*	*	*	*	*	F	T
103731	*	*	*	*	*	F	T
103732	*	*	*	*	*	F	T
112161	*	*	*	*	*	F	T
112162	*	*	*	*	*	F	T
120005	*	*	*	*	*	F	T
162642	*	*	*	*	*	F	T
162643	*	*	*	*	*	F	T
162644	*	*	*	*	*	F	T
162645	*	*	*	*	*	F	T
172500	*	*	*	*	*	F	T
172501	*	*	*	*	*	F	T
172502	*	*	*	*	*	F	T
172503	*	*	*	*	*	F	T
178626	*	*	*	*	*	F	T
182693	*	*	*	*	*	F	T
185900	*	*	*	*	*	F	T
189120	*	*	*	*	*	F	T
200441	*	*	*	*	*	F	T
200442	*	*	*	*	*	F	T
200443	*	*	*	*	*	F	T
211554	*	*	*	*	*	F	T
211555	*	*	*	*	*	F	T
218938	*	*	*	*	*	F	T
274389	*	*	*	*	*	F	T
351766	*	*	*	*	*	F	T

All 6 conditions live in dlmalloc — 6 br_if