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