commit 5d9a17742e5c97ef252a86cdd5dc7db5dfc04c79
author Kostya Serebryany <kcc@google.com> Fri Jul 15 17:19:43 2016 +0000
committer Kostya Serebryany <kcc@google.com> Fri Jul 15 17:19:43 2016 +0000
tree 2936ba2e6d78a294a07dc9631d014e812d99ee47
parent a940f360cbaa1fb0da984c5cd311efe85a7d88ae

[libFuzzer] add ThreadedLeakTest

llvm-svn: 275582

llvm/lib/Fuzzer/test/CMakeLists.txt

diff --git a/llvm/lib/Fuzzer/test/CMakeLists.txt b/llvm/lib/Fuzzer/test/CMakeLists.txt
index c5520b3..e079650 100644
--- a/llvm/lib/Fuzzer/test/CMakeLists.txt
+++ b/llvm/lib/Fuzzer/test/CMakeLists.txt
@@ -91,6 +91,7 @@
   StrcmpTest
   StrncmpTest
   SwitchTest
+  ThreadedLeakTest
   ThreadedTest
   TimeoutTest
   )

llvm/lib/Fuzzer/test/ThreadedLeakTest.cpp

diff --git a/llvm/lib/Fuzzer/test/ThreadedLeakTest.cpp b/llvm/lib/Fuzzer/test/ThreadedLeakTest.cpp
new file mode 100644
index 0000000..7511071
--- /dev/null
+++ b/llvm/lib/Fuzzer/test/ThreadedLeakTest.cpp
@@ -0,0 +1,18 @@
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+
+// The fuzzer should find a leak in a non-main thread.
+#include <cstdint>
+#include <cstddef>
+#include <thread>
+
+static volatile int *Sink;
+
+extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
+  if (Size == 0) return 0;
+  if (Data[0] != 'F') return 0;
+  std::thread T([&] { Sink = new int; });
+  T.join();
+  return 0;
+}
+

llvm/lib/Fuzzer/test/fuzzer-leak.test

diff --git a/llvm/lib/Fuzzer/test/fuzzer-leak.test b/llvm/lib/Fuzzer/test/fuzzer-leak.test
index f55ccaf..59ba02c 100644
--- a/llvm/lib/Fuzzer/test/fuzzer-leak.test
+++ b/llvm/lib/Fuzzer/test/fuzzer-leak.test
@@ -2,6 +2,8 @@
 RUN: not LLVMFuzzer-LeakTest -runs=100000 -detect_leaks=1 2>&1 | FileCheck %s --check-prefix=LEAK_DURING
 LEAK_DURING: ERROR: LeakSanitizer: detected memory leaks
 LEAK_DURING: Direct leak of 4 byte(s) in 1 object(s) allocated from:
+LEAK_DURING: INFO: to ignore leaks on libFuzzer side use -detect_leaks=0
+LEAK_DURING: Test unit written to ./leak-
 LEAK_DURING-NOT: DONE
 LEAK_DURING-NOT: Done
 
@@ -12,6 +14,8 @@
 
 RUN: not LLVMFuzzer-LeakTest -runs=100000 -detect_leaks=0 2>&1 | FileCheck %s --check-prefix=LEAK_AFTER
 RUN: not LLVMFuzzer-LeakTest -runs=100000                 2>&1 | FileCheck %s --check-prefix=LEAK_DURING
+RUN: not LLVMFuzzer-ThreadedLeakTest -runs=100000 -detect_leaks=0 2>&1 | FileCheck %s --check-prefix=LEAK_AFTER
+RUN: not LLVMFuzzer-ThreadedLeakTest -runs=100000                 2>&1 | FileCheck %s --check-prefix=LEAK_DURING
 LEAK_AFTER: Done 100000 runs in
 LEAK_AFTER: ERROR: LeakSanitizer: detected memory leaks
 
@@ -24,3 +28,4 @@
 
 RUN: LLVMFuzzer-AccumulateAllocationsTest -detect_leaks=1 -runs=100000 2>&1 | FileCheck %s --check-prefix=ACCUMULATE_ALLOCS
 ACCUMULATE_ALLOCS: INFO: libFuzzer disabled leak detection after every mutation
+