diff options
author | Petr Hosek <phosek@chromium.org> | 2017-09-06 00:00:46 +0000 |
---|---|---|
committer | Petr Hosek <phosek@chromium.org> | 2017-09-06 00:00:46 +0000 |
commit | 0a1d98c7666ea56fe9544c94c21a67cdcc7b1383 (patch) | |
tree | 93cc4be3d9bec6b3bbb6f6b21d87d284773cc571 /lib/sanitizer_common/sanitizer_coverage_fuchsia.cc | |
parent | 673bb37747d5acb6bd0a73b49a998bb9b75e8857 (diff) |
[sanitizer_common][Fuchsia] Update Fuchsia sanitizer markup
Include URLs to the markup format specification in code comments.
Use sanitizer markup in the sancov message about a dump just produced.
Patch by Roland McGrath
Differential Revision: https://reviews.llvm.org/D37273
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@312596 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/sanitizer_common/sanitizer_coverage_fuchsia.cc')
-rw-r--r-- | lib/sanitizer_common/sanitizer_coverage_fuchsia.cc | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lib/sanitizer_common/sanitizer_coverage_fuchsia.cc b/lib/sanitizer_common/sanitizer_coverage_fuchsia.cc index 491d5a215..4d20bb2ed 100644 --- a/lib/sanitizer_common/sanitizer_coverage_fuchsia.cc +++ b/lib/sanitizer_common/sanitizer_coverage_fuchsia.cc @@ -96,10 +96,13 @@ class TracePcGuardController { __sanitizer_publish_data(kSancovSinkName, vmo_); vmo_ = MX_HANDLE_INVALID; - // This will route to __sanitizer_log_write, which will ensure - // that information about shared libraries is written out. - Printf("SanitizerCoverage: published '%s' with up to %u PCs\n", vmo_name_, - next_index_ - 1); + // This will route to __sanitizer_log_write, which will ensure that + // information about shared libraries is written out. This message + // uses the `dumpfile` symbolizer markup element to highlight the + // dump. See the explanation for this in: + // https://fuchsia.googlesource.com/magenta/+/master/docs/symbolizer_markup.md + Printf("SanitizerCoverage: {{{dumpfile:%s:%s}}} with up to %u PCs\n", + kSancovSinkName, vmo_name_, next_index_ - 1); } } |