[Mlir-commits] [mlir] 1934fc6 - Apply clang-tidy fixes for readability-container-size-empty in Barvinok.cpp (NFC)

[Mehdi Amini]

Author: Mehdi Amini
Date: 2024-03-04T23:15:10-08:00
New Revision: 1934fc6a0cad62cb80d66834e5481cb17f517802

URL: https://github.com/llvm/llvm-project/commit/1934fc6a0cad62cb80d66834e5481cb17f517802
DIFF: https://github.com/llvm/llvm-project/commit/1934fc6a0cad62cb80d66834e5481cb17f517802.diff

LOG: Apply clang-tidy fixes for readability-container-size-empty in Barvinok.cpp (NFC)

Added: 
    

Modified: 
    mlir/lib/Analysis/Presburger/Barvinok.cpp

Removed: 
    


################################################################################
diff  --git a/mlir/lib/Analysis/Presburger/Barvinok.cpp b/mlir/lib/Analysis/Presburger/Barvinok.cpp
index 8952f867c4d854..0b55185c437827 100644
--- a/mlir/lib/Analysis/Presburger/Barvinok.cpp
+++ b/mlir/lib/Analysis/Presburger/Barvinok.cpp
@@ -515,8 +515,7 @@ Point mlir::presburger::detail::getNonOrthogonalVector(
 /// barvinokalgorithm-latte1.pdf, p. 1285
 QuasiPolynomial mlir::presburger::detail::getCoefficientInRationalFunction(
     unsigned power, ArrayRef<QuasiPolynomial> num, ArrayRef<Fraction> den) {
-  assert(den.size() != 0 &&
-         "division by empty denominator in rational function!");
+  assert(!den.empty() && "division by empty denominator in rational function!");
 
   unsigned numParam = num[0].getNumInputs();
   // We use the `isEqual` method of PresburgerSpace, which QuasiPolynomial