Searched refs:AdjustmentType (Results 1 – 1 of 1) sorted by relevance
423 APSIntType AdjustmentType(Adjustment); in assumeSymNE() local424 if (AdjustmentType.testInRange(Int, true) != APSIntType::RTR_Within) in assumeSymNE()427 llvm::APSInt Lower = AdjustmentType.convert(Int) - Adjustment; in assumeSymNE()443 APSIntType AdjustmentType(Adjustment); in assumeSymEQ() local444 if (AdjustmentType.testInRange(Int, true) != APSIntType::RTR_Within) in assumeSymEQ()448 llvm::APSInt AdjInt = AdjustmentType.convert(Int) - Adjustment; in assumeSymEQ()458 APSIntType AdjustmentType(Adjustment); in assumeSymLT() local459 switch (AdjustmentType.testInRange(Int, true)) { in assumeSymLT()469 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in assumeSymLT()470 llvm::APSInt Min = AdjustmentType.getMinValue(); in assumeSymLT()[all …]