[polly] r268030 - ScopInfo: Add option to control abort on isl errors

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Fri Apr 29 06:43:20 2016
New Revision: 268030

URL: http://llvm.org/viewvc/llvm-project?rev=268030&view=rev
Log:
ScopInfo: Add option to control abort on isl errors

For debugging it is often convenient to not abort at the very first memory
management error. This option allows to control this behavior at run-time.

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=268030&r1=268029&r2=268030&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Fri Apr 29 06:43:20 2016
@@ -105,6 +105,11 @@ static cl::opt<bool> DetectReductions("p
                                       cl::Hidden, cl::ZeroOrMore,
                                       cl::init(true), cl::cat(PollyCategory));
 
+static cl::opt<bool>
+    IslOnErrorAbort("polly-on-isl-error-abort",
+                    cl::desc("Abort if an isl error is encountered"),
+                    cl::init(true), cl::cat(PollyCategory));
+
 //===----------------------------------------------------------------------===//
 
 // Create a sequence of two schedules. Either argument may be null and is
@@ -3064,7 +3069,8 @@ Scop::Scop(Region &R, ScalarEvolution &S
       MaxLoopDepth(MaxLoopDepth), IslCtx(isl_ctx_alloc(), isl_ctx_free),
       Context(nullptr), Affinator(this, LI), AssumedContext(nullptr),
       InvalidContext(nullptr), Schedule(nullptr) {
-  isl_options_set_on_error(getIslCtx(), ISL_ON_ERROR_ABORT);
+  if (IslOnErrorAbort)
+    isl_options_set_on_error(getIslCtx(), ISL_ON_ERROR_ABORT);
   buildContext();
 }