From 61bea886da83ba071687f7153e896d5dc6a8ef8c Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Fri, 15 Jun 2018 08:14:39 +0200 Subject: llvm38: SmallString is always up-to-date No need to flush it, see llvm-mirror/llvm@d4177b2 Signed-off-by: Jiri Slaby --- tools/klee/main.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index b81131d9..c91ce75a 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -289,7 +289,12 @@ KleeHandler::KleeHandler(int argc, char **argv) for (; i <= INT_MAX; ++i) { SmallString<128> d(directory); llvm::sys::path::append(d, "klee-out-"); - raw_svector_ostream ds(d); ds << i; ds.flush(); + raw_svector_ostream ds(d); + ds << i; +// SmallString is always up-to-date, no need to flush. See Support/raw_ostream.h +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 8) + ds.flush(); +#endif // create directory and try to link klee-last if (mkdir(d.c_str(), 0775) == 0) { -- cgit 1.4.1