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