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