StaticAnalyzer/Core/RangeConstraintManager.cpp

154 // intersection with the two ranges [Min, Upper] and [Lower, Max],
603   // Special case for Int == Min. This is always false.
605   llvm::APSInt Min = AdjustmentType.getMinValue();
606   if (ComparisonVal == Min)
609   llvm::APSInt Lower = Min - Adjustment;
675   // Special case for Int == Min. This is always feasible.
677   llvm::APSInt Min = AdjustmentType.getMinValue();
678   if (ComparisonVal == Min)
717   llvm::APSInt Min = AdjustmentType.getMinValue();
718   llvm::APSInt Lower = Min - Adjustment;