Searched refs:ConvertedFrom (Results 1 – 1 of 1) sorted by relevance
111 llvm::APSInt ConvertedFrom = ComparisonType.convert(From); in assumeSymInclusiveRange() local120 return assumeSymWithinInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymInclusiveRange()122 return assumeSymOutsideInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymInclusiveRange()