Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp423 APSIntType AdjustmentType(Adjustment); in assumeSymNE() local
424 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() local
444 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() local
459 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 …]