Searched refs:ConvertedFrom (Results 1 – 1 of 1) sorted by relevance
317 llvm::APSInt ConvertedFrom = ComparisonType.convert(From); in assumeSymWithinInclusiveRange() local326 return assumeSymbolWithinInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymWithinInclusiveRange()328 return assumeSymbolOutOfInclusiveRange(State, AdjustedSym, ConvertedFrom, in assumeSymWithinInclusiveRange()