diff options
Diffstat (limited to 'docs/SanitizerCoverage.rst')
| -rw-r--r-- | docs/SanitizerCoverage.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/SanitizerCoverage.rst b/docs/SanitizerCoverage.rst index 1c42b4236a93..06bafd6b3a04 100644 --- a/docs/SanitizerCoverage.rst +++ b/docs/SanitizerCoverage.rst @@ -144,8 +144,9 @@ Use these flags together with ``trace-pc-guard`` or ``trace-pc``, like this: ``-fsanitize-coverage=func,trace-pc-guard``. When ``edge`` or ``bb`` is used, some of the edges/blocks may still be left -uninstrumented if such instrumentation is considered redundant. -**TODO**: add a user-visible option to disable the optimization. +uninstrumented (pruned) if such instrumentation is considered redundant. +Use ``no-prune`` (e.g. ``-fsanitize-coverage=bb,no-prune,trace-pc-guard``) +to disable pruning. This could be useful for better coverage visualization. Edge coverage |