Index: llvm/trunk/test/tools/sancov/not_covered_functions.test =================================================================== --- llvm/trunk/test/tools/sancov/not_covered_functions.test +++ llvm/trunk/test/tools/sancov/not_covered_functions.test @@ -1,5 +1,5 @@ REQUIRES: x86_64-linux -RUN: sancov -not-covered-functions %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s +RUN: sancov -skip-dead-files=0 -not-covered-functions %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s RUN: sancov -not-covered-functions %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.1.sancov | FileCheck --check-prefix=CHECK1 --allow-empty %s CHECK: Inputs{{[/\\]}}foo.cpp:5 foo() Index: llvm/trunk/test/tools/sancov/stats.test =================================================================== --- llvm/trunk/test/tools/sancov/stats.test +++ llvm/trunk/test/tools/sancov/stats.test @@ -1,9 +1,9 @@ REQUIRES: x86_64-linux RUN: sancov -print-coverage-stats %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s -CHECK: all-edges: 9 +CHECK: all-edges: 8 CHECK: cov-edges: 5 -CHECK: all-functions: 3 +CHECK: all-functions: 2 CHECK: cov-functions: 2 Index: llvm/trunk/test/tools/sancov/symbolize.test =================================================================== --- llvm/trunk/test/tools/sancov/symbolize.test +++ llvm/trunk/test/tools/sancov/symbolize.test @@ -5,11 +5,6 @@ CHECK-NEXT: "covered-points" : ["4e132b", "4e1472", "4e1520", "4e1553", "4e1586"], CHECK-NEXT: "binary-hash" : "BB3CDD5045AED83906F6ADCC1C4DAF7E2596A6B5", CHECK-NEXT: "point-symbol-info" : { -CHECK-NEXT: "test/tools/sancov/Inputs/foo.cpp" : { -CHECK-NEXT: "foo()" : { -CHECK-NEXT: "4e178c" : "5:0" -CHECK-NEXT: } -CHECK-NEXT: }, CHECK-NEXT: "test/tools/sancov/Inputs/test.cpp" : { CHECK-NEXT: "bar(std::string)" : { CHECK-NEXT: "4e132b" : "12:0" Index: llvm/trunk/test/tools/sancov/symbolize_noskip_dead_files.test =================================================================== --- llvm/trunk/test/tools/sancov/symbolize_noskip_dead_files.test +++ llvm/trunk/test/tools/sancov/symbolize_noskip_dead_files.test @@ -0,0 +1,29 @@ +REQUIRES: x86_64-linux +RUN: sancov -symbolize -skip-dead-files=0 -strip_path_prefix="llvm/" %p/Inputs/test-linux_x86_64 %p/Inputs/test-linux_x86_64.0.sancov | FileCheck %s + +CHECK: { +CHECK-NEXT: "covered-points" : ["4e132b", "4e1472", "4e1520", "4e1553", "4e1586"], +CHECK-NEXT: "binary-hash" : "BB3CDD5045AED83906F6ADCC1C4DAF7E2596A6B5", +CHECK-NEXT: "point-symbol-info" : { +CHECK-NEXT: "test/tools/sancov/Inputs/foo.cpp" : { +CHECK-NEXT: "foo()" : { +CHECK-NEXT: "4e178c" : "5:0" +CHECK-NEXT: } +CHECK-NEXT: }, +CHECK-NEXT: "test/tools/sancov/Inputs/test.cpp" : { +CHECK-NEXT: "bar(std::string)" : { +CHECK-NEXT: "4e132b" : "12:0" +CHECK-NEXT: }, +CHECK-NEXT: "main" : { +CHECK-NEXT: "4e1472" : "14:0", +CHECK-NEXT: "4e14c2" : "16:9", +CHECK-NEXT: "4e1520" : "17:5", +CHECK-NEXT: "4e1553" : "17:5", +CHECK-NEXT: "4e1586" : "17:5", +CHECK-NEXT: "4e1635" : "19:1", +CHECK-NEXT: "4e1690" : "17:5" +CHECK-NEXT: } +CHECK-NEXT: } +CHECK-NEXT: } +CHECK-NEXT:} + Index: llvm/trunk/tools/sancov/sancov.cc =================================================================== --- llvm/trunk/tools/sancov/sancov.cc +++ llvm/trunk/tools/sancov/sancov.cc @@ -101,6 +101,10 @@ static cl::opt ClDemangle("demangle", cl::init(true), cl::desc("Print demangled function name.")); +static cl::opt + ClSkipDeadFiles("skip-dead-files", cl::init(true), + cl::desc("Do not list dead source files in reports.")); + static cl::opt ClStripPathPrefix( "strip_path_prefix", cl::init(""), cl::desc("Strip this prefix from file paths in reports.")); @@ -609,16 +613,35 @@ static std::vector getCoveragePoints(const std::string &ObjectFile, - const std::set &Addrs, bool InlinedCode) { + const std::set &Addrs, + const std::set &CoveredAddrs) { std::vector Result; auto Symbolizer(createSymbolizer()); Blacklists B; + std::set CoveredFiles; + if (ClSkipDeadFiles) { + for (auto Addr : CoveredAddrs) { + auto LineInfo = Symbolizer->symbolizeCode(ObjectFile, Addr); + failIfError(LineInfo); + CoveredFiles.insert(LineInfo->FileName); + auto InliningInfo = Symbolizer->symbolizeInlinedCode(ObjectFile, Addr); + failIfError(InliningInfo); + for (uint32_t I = 0; I < InliningInfo->getNumberOfFrames(); ++I) { + auto FrameInfo = InliningInfo->getFrame(I); + CoveredFiles.insert(FrameInfo.FileName); + } + } + } + for (auto Addr : Addrs) { std::set Infos; // deduplicate debug info. auto LineInfo = Symbolizer->symbolizeCode(ObjectFile, Addr); failIfError(LineInfo); + if (ClSkipDeadFiles && + CoveredFiles.find(LineInfo->FileName) == CoveredFiles.end()) + continue; LineInfo->FileName = normalizeFilename(LineInfo->FileName); if (B.isBlacklisted(*LineInfo)) continue; @@ -628,18 +651,19 @@ Infos.insert(*LineInfo); Point.Locs.push_back(*LineInfo); - if (InlinedCode) { - auto InliningInfo = Symbolizer->symbolizeInlinedCode(ObjectFile, Addr); - failIfError(InliningInfo); - for (uint32_t I = 0; I < InliningInfo->getNumberOfFrames(); ++I) { - auto FrameInfo = InliningInfo->getFrame(I); - FrameInfo.FileName = normalizeFilename(FrameInfo.FileName); - if (B.isBlacklisted(FrameInfo)) - continue; - if (Infos.find(FrameInfo) == Infos.end()) { - Infos.insert(FrameInfo); - Point.Locs.push_back(FrameInfo); - } + auto InliningInfo = Symbolizer->symbolizeInlinedCode(ObjectFile, Addr); + failIfError(InliningInfo); + for (uint32_t I = 0; I < InliningInfo->getNumberOfFrames(); ++I) { + auto FrameInfo = InliningInfo->getFrame(I); + if (ClSkipDeadFiles && + CoveredFiles.find(FrameInfo.FileName) == CoveredFiles.end()) + continue; + FrameInfo.FileName = normalizeFilename(FrameInfo.FileName); + if (B.isBlacklisted(FrameInfo)) + continue; + if (Infos.find(FrameInfo) == Infos.end()) { + Infos.insert(FrameInfo); + Point.Locs.push_back(FrameInfo); } } @@ -926,7 +950,7 @@ Data.Addrs->end())) { fail("Coverage points in binary and .sancov file do not match."); } - Coverage->Points = getCoveragePoints(ObjectFile, AllAddrs, true); + Coverage->Points = getCoveragePoints(ObjectFile, AllAddrs, *Data.Addrs); return Coverage; } @@ -1134,10 +1158,6 @@ // Read raw coverage and symbolize it. for (const auto &Pair : CoverageByObjFile) { if (findSanitizerCovFunctions(Pair.first).empty()) { - for (const auto &FileName : Pair.second) { - CovFiles.erase(FileName); - } - errs() << "Ignoring " << Pair.first << " and its coverage because __sanitizer_cov* functions were not "