commit 1a82faad68faedf068b5734348eb568c6ad16f48
author Tobias Grosser <tobias@grosser.es> Mon Jun 18 12:41:58 2018 +0000
committer Tobias Grosser <tobias@grosser.es> Mon Jun 18 12:41:58 2018 +0000
tree cca665606ebec27560d2040eb203a39805adb7cc
parent 3fcc1d870e8c00f9d93958dfdd5cb3952268fac4

[ScopInfo] Move addNonEmptyDomainConstraints to isl++ [NFCI]

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@334938 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/ScopInfo.cpp

diff --git a/lib/Analysis/ScopInfo.cpp b/lib/Analysis/ScopInfo.cpp
index b3625bf..7843a07 100644
--- a/lib/Analysis/ScopInfo.cpp
+++ b/lib/Analysis/ScopInfo.cpp
@@ -2025,8 +2025,8 @@
 }
 
 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 {