Searched refs:BelowThreshold (Results 1 – 1 of 1) sorted by relevance
329 auto BelowThreshold = in compareValueToThreshold() local333 if (BelowThreshold) in compareValueToThreshold()334 return State->assume(*BelowThreshold); in compareValueToThreshold()