diff options
| author | Jie Fu <jiefu@tencent.com> | 2024-01-22 20:12:39 +0800 |
|---|---|---|
| committer | Jie Fu <jiefu@tencent.com> | 2024-01-22 20:12:39 +0800 |
| commit | 3c94154c860ea9c2fdd5775bd6ad31ac1db0c261 (patch) | |
| tree | 8795e23b56f2297d19a697781fb26ad0cbea2487 | |
| parent | 365aa1574a1b4a3cdee6648227d095d00536ffde (diff) | |
| download | llvm-3c94154c860ea9c2fdd5775bd6ad31ac1db0c261.zip llvm-3c94154c860ea9c2fdd5775bd6ad31ac1db0c261.tar.gz llvm-3c94154c860ea9c2fdd5775bd6ad31ac1db0c261.tar.bz2 | |
[mlir] Fix -Wunused-variable in Barvinok.cpp (NFC)
llvm-project/mlir/lib/Analysis/Presburger/Barvinok.cpp:262:21:
error: unused variable 'd' [-Werror,-Wunused-variable]
for (const Point &d : ds)
^
1 error generated.
| -rw-r--r-- | mlir/lib/Analysis/Presburger/Barvinok.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mlir/lib/Analysis/Presburger/Barvinok.cpp b/mlir/lib/Analysis/Presburger/Barvinok.cpp index e0fd0dd..d2752de 100644 --- a/mlir/lib/Analysis/Presburger/Barvinok.cpp +++ b/mlir/lib/Analysis/Presburger/Barvinok.cpp @@ -259,9 +259,11 @@ std::pair<QuasiPolynomial, std::vector<Fraction>> substituteMuInTerm(unsigned numParams, ParamPoint v, std::vector<Point> ds, Point mu) { unsigned numDims = mu.size(); +#ifndef NDEBUG for (const Point &d : ds) assert(d.size() == numDims && "μ has to have the same number of dimensions as the generators!"); +#endif // First, the exponent in the numerator becomes // - (μ • u_1) * (floor(first col of v)) |