Decision #512 — `binary_reader.rs:1175`

Status: no_witness

Truth table

row	c0 br 3704	c1 br 3705	c2 br 3706	c3 br 3707	c4 br 3708	c5 br 3709	c6 br 3710	c7 br 3711	outcome
18163	F	*	*	*	*	*	*	*	F
18164	F	*	*	*	*	*	*	*	F
25881	F	*	*	*	*	*	*	*	F
25882	F	*	*	*	*	*	*	*	F
31609	F	*	*	*	*	*	*	*	F
37547	F	*	*	*	*	*	*	*	F
59622	F	*	*	*	*	*	*	*	F
59623	F	*	*	*	*	*	*	*	F
69394	F	*	*	*	*	*	*	*	F
69395	F	*	*	*	*	*	*	*	F
81005	*	*	*	*	*	*	F	*	F
82192	*	*	*	*	*	*	F	*	F
83254	*	*	*	*	*	*	F	*	F
84503	*	*	F	F	*	*	*	*	F
84504	*	*	F	F	*	*	*	*	F
86325	*	*	F	F	*	*	*	*	F
86326	*	*	F	F	*	*	*	*	F
86327	*	*	F	F	*	*	*	*	F
86328	*	*	F	F	*	*	*	*	F
86329	*	*	F	F	*	*	*	*	F
86330	*	*	F	F	*	*	*	*	F
87840	*	*	F	F	*	*	*	*	F
89641	*	*	F	F	*	*	*	*	F
89642	*	*	F	*	*	*	*	*	F
89643	*	*	F	*	*	*	*	*	F
89644	*	*	F	*	*	*	*	*	F
89645	*	*	F	F	*	*	*	*	F
89646	*	*	F	F	*	*	*	*	F
89647	*	*	F	F	*	*	*	*	F
89648	*	*	F	*	*	*	*	*	F
89649	*	*	F	*	*	*	*	*	F
89650	*	*	F	*	*	*	*	*	F
89651	*	*	F	F	*	*	*	*	F
89652	*	*	F	F	*	*	*	*	F
91222	*	*	F	F	*	*	*	*	F
91223	*	*	F	F	*	*	*	*	F
107288	F	*	*	*	*	*	*	*	F
107289	F	*	*	*	*	*	*	*	F
126151	F	*	*	*	*	*	*	*	F
126152	F	*	*	*	*	*	*	*	F

All 8 conditions live in wasmparser::binary_reader::BinaryReader::visit_operator — 8 br_if