Home
last modified time | relevance | path

Searched refs:AdjustmentType (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp454 APSIntType AdjustmentType(Adjustment); in assumeSymNE() local
455 if (AdjustmentType.testInRange(Int, true) != APSIntType::RTR_Within) in assumeSymNE()
458 llvm::APSInt Lower = AdjustmentType.convert(Int) - Adjustment; in assumeSymNE()
474 APSIntType AdjustmentType(Adjustment); in assumeSymEQ() local
475 if (AdjustmentType.testInRange(Int, true) != APSIntType::RTR_Within) in assumeSymEQ()
479 llvm::APSInt AdjInt = AdjustmentType.convert(Int) - Adjustment; in assumeSymEQ()
489 APSIntType AdjustmentType(Adjustment); in getSymLTRange() local
490 switch (AdjustmentType.testInRange(Int, true)) { in getSymLTRange()
500 llvm::APSInt ComparisonVal = AdjustmentType.convert(Int); in getSymLTRange()
501 llvm::APSInt Min = AdjustmentType.getMinValue(); in getSymLTRange()
[all …]