StaticAnalyzer/Core/RangeConstraintManager.cpp

236   // intersection with the two ranges [Min, Upper] and [Lower, Max],
495   // Special case for Int == Max. This is always false.
497   llvm::APSInt Max = AdjustmentType.getMaxValue();
498   if (ComparisonVal == Max)
502   llvm::APSInt Upper = Max-Adjustment;
530   llvm::APSInt Max = AdjustmentType.getMaxValue();
532   llvm::APSInt Upper = Max-Adjustment;
553   // Special case for Int == Max. This is always feasible.
555   llvm::APSInt Max = AdjustmentType.getMaxValue();
556   if (ComparisonVal == Max)