about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorLukas Zaoral <lzaoral@redhat.com>2020-09-10 17:12:28 +0200
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-12-04 20:35:47 +0000
commitb398c94c821edd3e8699026dc00501062eafd5b2 (patch)
tree862f321cb7e784e28a861f23701e443deeb5ebfe /tools
parent4ca5a80836de48036e47f611a6ea610a6fb2b54b (diff)
downloadklee-b398c94c821edd3e8699026dc00501062eafd5b2.tar.gz
llvm11: Make conversions from StringRef to std::string explicit
The same applies to SmallString.

See: llvm/llvm-project@777180a#diff-497ba4c0c527a125d382b51a34f32542
Diffstat (limited to 'tools')
-rw-r--r--tools/klee/main.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 7184bd44..874660d7 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -441,7 +441,7 @@ void KleeHandler::setInterpreter(Interpreter *i) {
 std::string KleeHandler::getOutputFilename(const std::string &filename) {
   SmallString<128> path = m_outputDirectory;
   sys::path::append(path,filename);
-  return path.str();
+  return path.c_str();
 }
 
 std::unique_ptr<llvm::raw_fd_ostream>
@@ -673,7 +673,7 @@ std::string KleeHandler::getRunTimeLibraryPath(const char *argv0) {
 
   KLEE_DEBUG_WITH_TYPE("klee_runtime", llvm::dbgs() <<
                        libDir.c_str() << "\n");
-  return libDir.str();
+  return libDir.c_str();
 }
 
 //===----------------------------------------------------------------------===//
@@ -938,7 +938,7 @@ void externalsAndGlobalsCheck(const llvm::Module *m) {
          it = m->alias_begin(), ie = m->alias_end();
        it != ie; ++it) {
     std::map<std::string, bool>::iterator it2 =
-      externals.find(it->getName());
+        externals.find(it->getName().str());
     if (it2!=externals.end())
       externals.erase(it2);
   }