Initialize the invalid domain of an access with an empty set
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Mon, 25 Apr 2016 13:36:23 +0000 (13:36 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Mon, 25 Apr 2016 13:36:23 +0000 (13:36 +0000)
llvm-svn: 267403

polly/lib/Analysis/ScopInfo.cpp

index 6ad607e..09dc559 100644 (file)
@@ -821,7 +821,9 @@ void MemoryAccess::buildAccessRelation(const ScopArrayInfo *SAI) {
 
   // Initialize the invalid domain which describes all iterations for which the
   // access relation is not modeled correctly.
-  InvalidDomain = getStatement()->getInvalidDomain();
+  auto *StmtInvalidDomain = getStatement()->getInvalidDomain();
+  InvalidDomain = isl_set_empty(isl_set_get_space(StmtInvalidDomain));
+  isl_set_free(StmtInvalidDomain);
 
   isl_ctx *Ctx = isl_id_get_ctx(Id);
   isl_id *BaseAddrId = SAI->getBasePtrId();