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