Searched refs:assumeWithinInclusiveRangeDual (Results 1 – 2 of 2) sorted by relevance
108 virtual ProgramStatePair assumeWithinInclusiveRangeDual( in assumeWithinInclusiveRangeDual() function
685 ->assumeWithinInclusiveRangeDual(this, Val.castAs<NonLoc>(), From, To); in assumeWithinInclusiveRange()