We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2db8b94 commit 1934fc6Copy full SHA for 1934fc6
mlir/lib/Analysis/Presburger/Barvinok.cpp
@@ -515,8 +515,7 @@ Point mlir::presburger::detail::getNonOrthogonalVector(
515
/// barvinokalgorithm-latte1.pdf, p. 1285
516
QuasiPolynomial mlir::presburger::detail::getCoefficientInRationalFunction(
517
unsigned power, ArrayRef<QuasiPolynomial> num, ArrayRef<Fraction> den) {
518
- assert(den.size() != 0 &&
519
- "division by empty denominator in rational function!");
+ assert(!den.empty() && "division by empty denominator in rational function!");
520
521
unsigned numParam = num[0].getNumInputs();
522
// We use the `isEqual` method of PresburgerSpace, which QuasiPolynomial
0 commit comments