[mlir][Presburger] Fix warning Wreturn-std-move (NFC)

This commit is contained in:
Adrian Kuegel 2022-06-29 09:10:20 +02:00
parent e30d5bfeba
commit a4070a5e77
1 changed files with 3 additions and 1 deletions

View File

@ -13,6 +13,8 @@
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallBitVector.h"
#include <utility>
using namespace mlir;
using namespace presburger;
@ -144,7 +146,7 @@ PresburgerRelation PresburgerRelation::computeReprWithOnlyDivLocals() const {
PresburgerRelation result(getSpace());
for (const IntegerRelation &disjunct : disjuncts)
result.unionInPlace(disjunct.computeReprWithOnlyDivLocals());
return result;
return std::move(result);
}
/// Return the set difference b \ s.