Searched defs:ComparisonVal (Results 1 – 1 of 1) sorted by relevance
453 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymLT() local482 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymGT() local511 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymGE() local540 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymLE() local