[llvm-commits] [polly] r146027 - /polly/trunk/lib/Analysis/ScopInfo.cpp

[Tobias Grosser]

Author: grosser
Date: Wed Dec  7 01:42:51 2011
New Revision: 146027

URL: http://llvm.org/viewvc/llvm-project?rev=146027&view=rev
Log:
Make isl abort when an error is encountered

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=146027&r1=146026&r2=146027&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopInfo.cpp (original)
+++ polly/trunk/lib/Analysis/ScopInfo.cpp Wed Dec  7 01:42:51 2011
@@ -42,6 +42,7 @@
 #include "isl/aff.h"
 #include "isl/printer.h"
 #include "isl/local_space.h"
+#include "isl/options.h"
 #include <sstream>
 #include <string>
 #include <vector>
@@ -1055,6 +1056,7 @@
 //===----------------------------------------------------------------------===//
 ScopInfo::ScopInfo() : RegionPass(ID), scop(0) {
   ctx = isl_ctx_alloc();
+  isl_options_set_on_error(ctx, ISL_ON_ERROR_ABORT);
 }
 
 ScopInfo::~ScopInfo() {