diff options
author | Kostya Serebryany <kcc@google.com> | 2015-07-28 01:25:00 +0000 |
---|---|---|
committer | Kostya Serebryany <kcc@google.com> | 2015-07-28 01:25:00 +0000 |
commit | ae7df1ca4db5643faae83d7d69d386ab12ea75a2 (patch) | |
tree | 6fbdbefe84d6a9578191ea2e95994e74a5a4ffd9 | |
parent | 2832ce95a50e2f6702c40bcc7a703b0b59ca9969 (diff) | |
download | bcm5719-llvm-ae7df1ca4db5643faae83d7d69d386ab12ea75a2.tar.gz bcm5719-llvm-ae7df1ca4db5643faae83d7d69d386ab12ea75a2.zip |
[libFuzzer] ensure that the dfsan tracing hooks actually run (using -verbosity=3 in tests)
llvm-svn: 243365
-rw-r--r-- | llvm/lib/Fuzzer/FuzzerTraceState.cpp | 3 | ||||
-rw-r--r-- | llvm/lib/Fuzzer/test/fuzzer-dfsan.test | 3 |
2 files changed, 5 insertions, 1 deletions
diff --git a/llvm/lib/Fuzzer/FuzzerTraceState.cpp b/llvm/lib/Fuzzer/FuzzerTraceState.cpp index 889519d0028..60524a91320 100644 --- a/llvm/lib/Fuzzer/FuzzerTraceState.cpp +++ b/llvm/lib/Fuzzer/FuzzerTraceState.cpp @@ -287,7 +287,8 @@ void TraceState::DFSanCmpCallback(uintptr_t PC, size_t CmpSize, size_t CmpType, if (Options.Verbosity >= 3) - Printf("DFSAN: PC %lx S %zd T %zd A1 %llx A2 %llx R %d L1 %d L2 %d MU %zd\n", + Printf("DFSanCmpCallback: PC %lx S %zd T %zd A1 %llx A2 %llx R %d L1 %d L2 " + "%d MU %zd\n", PC, CmpSize, CmpType, Arg1, Arg2, Res, L1, L2, Mutations.size()); } diff --git a/llvm/lib/Fuzzer/test/fuzzer-dfsan.test b/llvm/lib/Fuzzer/test/fuzzer-dfsan.test index 7802e612c85..c8dac945581 100644 --- a/llvm/lib/Fuzzer/test/fuzzer-dfsan.test +++ b/llvm/lib/Fuzzer/test/fuzzer-dfsan.test @@ -1,6 +1,9 @@ CHECK: BINGO +CHECK_DFSanCmpCallback: DFSanCmpCallback: PC RUN: not LLVMFuzzer-SimpleCmpTest-DFSan -use_traces=1 -seed=1 -runs=1000000 -timeout=5 2>&1 | FileCheck %s +RUN: LLVMFuzzer-SimpleCmpTest-DFSan -use_traces=1 -seed=1 -runs=100 -timeout=5 -verbosity=3 2>&1 | FileCheck %s -check-prefix=CHECK_DFSanCmpCallback RUN: not LLVMFuzzer-MemcmpTest-DFSan -use_traces=1 -seed=1 -runs=100 -timeout=5 2>&1 | FileCheck %s +RUN: LLVMFuzzer-MemcmpTest-DFSan -use_traces=1 -seed=1 -runs=2 -timeout=5 -verbosity=3 2>&1 | FileCheck %s -check-prefix=CHECK_DFSanCmpCallback |