From b23e2ca61a5a89b66ce38cf02257aba04dd35186 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 17 May 2018 11:45:08 +0100
Subject: Removed .c_str() from getSourceLocation calls

---
 lib/Core/ExecutorUtil.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib')

diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp
index 63967ae5..a352db33 100644
--- a/lib/Core/ExecutorUtil.cpp
+++ b/lib/Core/ExecutorUtil.cpp
@@ -128,7 +128,7 @@ namespace klee {
         std::string msg("Cannot handle constant ");
         llvm::raw_string_ostream os(msg);
         os << "'" << *c << "' at location "
-           << (ki ? ki->getSourceLocation().c_str() : "[unknown]");
+           << (ki ? ki->getSourceLocation() : "[unknown]");
         klee_error("%s", os.str().c_str());
       }
     }
@@ -154,7 +154,7 @@ namespace klee {
       if (op2->getLimitedValue() == 0) {
         std::string msg("Division/modulo by zero during constant folding at location ");
         llvm::raw_string_ostream os(msg);
-        os << (ki ? ki->getSourceLocation().c_str() : "[unknown]");
+        os << (ki ? ki->getSourceLocation() : "[unknown]");
         klee_error("%s", os.str().c_str());
       }
       break;
@@ -164,7 +164,7 @@ namespace klee {
       if (op2->getLimitedValue() >= op1->getWidth()) {
         std::string msg("Overshift during constant folding at location ");
         llvm::raw_string_ostream os(msg);
-        os << (ki ? ki->getSourceLocation().c_str() : "[unknown]");
+        os << (ki ? ki->getSourceLocation() : "[unknown]");
         klee_error("%s", os.str().c_str());
       }
     }
@@ -175,7 +175,7 @@ namespace klee {
     switch (ce->getOpcode()) {
     default :
       os << "'" << *ce << "' at location "
-         << (ki ? ki->getSourceLocation().c_str() : "[unknown]");
+         << (ki ? ki->getSourceLocation() : "[unknown]");
       klee_error("%s", os.str().c_str());
 
     case Instruction::Trunc: 
-- 
cgit 1.4.1