[polly] r252766 - ScopInfo: Free set after compute out has been triggered

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Wed Nov 11 11:59:53 2015
New Revision: 252766

URL: http://llvm.org/viewvc/llvm-project?rev=252766&view=rev
Log:
ScopInfo: Free set after compute out has been triggered

In certain cases isl will not free the return values of operations for which
a computeout has been triggered. Hence, make sure we free it explicitly.

No test, as I did not manage to reduce one yet.

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=252766&r1=252765&r2=252766&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Wed Nov 11 11:59:53 2015
@@ -1597,8 +1597,10 @@ void Scop::buildBoundaryContext() {
 
   BoundaryContext = isl_set_complement(BoundaryContext);
 
-  if (isl_ctx_last_error(getIslCtx()) == isl_error_quota)
+  if (isl_ctx_last_error(getIslCtx()) == isl_error_quota) {
+    isl_set_free(BoundaryContext);
     BoundaryContext = isl_set_empty(getParamSpace());
+  }
 
   isl_options_set_on_error(getIslCtx(), ISL_ON_ERROR_ABORT);
   isl_ctx_reset_operations(getIslCtx());