Searched defs:ComparisonVal (Results 1 – 1 of 1) sorted by relevance
469 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymLT() local498 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymGT() local527 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymGE() local556 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymLE() local