Decision #574 — lib.rs:6167

Status: no_witness

Truth table

rowc0 br 3952c1 br 3953c2 br 3954outcome
1322FFFT
1323*FFT
8282FFFT
8283*FFT
15083FFFT
15084*FFT
21753T**T
24496T**T
27139T**T
30801T**T
51656T**T
72582T**T
82465T**T
92194FFFT
92195*FFT
100023FFFT
100024*FFT
108512FFFT
108513*FFT
116538FFFT
116539*FFT
124541T**T
141260T**T
158656T**T
168514T**T
176635FFFT
181250T**T
184569T**T
187677T**T
191264T**T
196820FFFT
196821*FFT
203345T**T
208182T**T
215834FFFT
224273T**T
301650T**T
377122T**T
379779T**T
382663T**T

Independent-effect pairs

All 3 conditions live in scry_analyze_core::resolved_stack_callees — 3 br_if