Searched refs:compareValueToThreshold (Results 1 – 1 of 1) sorted by relevance
306 compareValueToThreshold(ProgramStateRef State, NonLoc Value, NonLoc Threshold, in compareValueToThreshold() function604 auto [PrecedesLowerBound, WithinLowerBound] = compareValueToThreshold( in performCheck()666 compareValueToThreshold(State, ByteOffset, *KnownSize, SVB); in performCheck()819 auto [EqualsToThreshold, NotEqualToThreshold] = compareValueToThreshold( in isIdiomaticPastTheEndPtr()