Jiri Slaby
e18feb65f3
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=51
34 lines
1.0 KiB
Diff
34 lines
1.0 KiB
Diff
From: Jiri Slaby <jirislaby@gmail.com>
|
|
Date: Fri, 15 Jun 2018 08:14:39 +0200
|
|
Subject: llvm38: SmallString is always up-to-date
|
|
Patch-mainline: no
|
|
|
|
No need to flush it, see llvm-mirror/llvm@d4177b2
|
|
|
|
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
|
|
---
|
|
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 ab9dfe286ffb..3d73ae07fcb5 100644
|
|
--- a/tools/klee/main.cpp
|
|
+++ b/tools/klee/main.cpp
|
|
@@ -291,7 +291,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) {
|
|
--
|
|
2.17.1
|
|
|