diff options
author | Lukas Zaoral <lzaoral@redhat.com> | 2020-09-10 17:12:28 +0200 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-04 20:35:47 +0000 |
commit | b398c94c821edd3e8699026dc00501062eafd5b2 (patch) | |
tree | 862f321cb7e784e28a861f23701e443deeb5ebfe /tools | |
parent | 4ca5a80836de48036e47f611a6ea610a6fb2b54b (diff) | |
download | klee-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.cpp | 6 |
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); } |