[polly] r334938 - [ScopInfo] Move addNonEmptyDomainConstraints to isl++ [NFCI]

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Mon Jun 18 05:41:58 2018
New Revision: 334938

URL: http://llvm.org/viewvc/llvm-project?rev=334938&view=rev
Log:
[ScopInfo] Move addNonEmptyDomainConstraints to isl++ [NFCI]

Modified:
    polly/trunk/lib/Analysis/ScopInfo.cpp

Modified: polly/trunk/lib/Analysis/ScopInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopInfo.cpp?rev=334938&r1=334937&r2=334938&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Mon Jun 18 05:41:58 2018
@@ -2025,8 +2025,8 @@ isl::id Scop::getIdForParam(const SCEV *
 }
 
 isl::set Scop::addNonEmptyDomainConstraints(isl::set C) const {
-  isl_set *DomainContext = isl_union_set_params(getDomains().release());
-  return isl::manage(isl_set_intersect_params(C.release(), DomainContext));
+  isl::set DomainContext = getDomains().params();
+  return C.intersect_params(DomainContext);
 }
 
 bool Scop::isDominatedBy(const DominatorTree &DT, BasicBlock *BB) const {