Ported scoplib to use isl_val * instead of isl_int

1) The isl_int -> isl_val changes are the ones Tobias suggested.
   One additional isl_val_free is added (and needed)
2) Three scoplib_vector_free are added, maybe we would need even
   more (and matrix_free) but it's hard to place them right.
3) Cleaned the includes (and removed 'extern C')

This fixes the broken compilation for the scoplib import and export.

Contributed-by: Johannes Doerfert <doerfert@cs.uni-saarland.de>
llvm-svn: 203500

1 files changed, 2 insertions, 2 deletions

diff --git a/polly/lib/Pocc.cpp b/polly/lib/Pocc.cpp
index 5d084dbc6e7..d083fc1ab71 100644
--- a/polly/lib/Pocc.cpp
+++ b/polly/lib/Pocc.cpp
@@ -253,14 +253,14 @@ void Pocc::printScop(raw_ostream &OS) const {
 
   OS << "\n";
 
-  if (error_code ec = MemoryBuffer::getFile(PlutoStdout, stdoutBuffer))
+  if (error_code ec = MemoryBuffer::getFile(PlutoStdout.str(), stdoutBuffer))
     OS << "Could not open pocc stdout file: " + ec.message() << "\n";
   else {
     OS << "pocc stdout: " << stdoutBuffer->getBufferIdentifier() << "\n";
     OS << stdoutBuffer->getBuffer() << "\n";
   }
 
-  if (error_code ec = MemoryBuffer::getFile(PlutoStderr, stderrBuffer))
+  if (error_code ec = MemoryBuffer::getFile(PlutoStderr.str(), stderrBuffer))
     OS << "Could not open pocc stderr file: " + ec.message() << "\n";
   else {
     OS << "pocc stderr: " << PlutoStderr << "\n";