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