diff options
author | Vedant Kumar <vsk@apple.com> | 2016-06-06 15:44:40 +0000 |
---|---|---|
committer | Vedant Kumar <vsk@apple.com> | 2016-06-06 15:44:40 +0000 |
commit | 23c6d52113fa8ed14e98b7e5079b20b7691c8dac (patch) | |
tree | 9fe99842012090bd84c3df411e95d2d54c48c2a8 /docs/SourceBasedCodeCoverage.rst | |
parent | 1391e6f4bd9b89c428e3babf16531a468036005b (diff) | |
download | clang-23c6d52113fa8ed14e98b7e5079b20b7691c8dac.tar.gz |
[docs] Clarify limitations section of SourceBasedCodeCoverage.rst
Mention that the code coverage tool becomes less precise whenever
unpredictable changes in control flow occur.
Thanks to Sean Silva for pointing this out!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@271902 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/SourceBasedCodeCoverage.rst')
-rw-r--r-- | docs/SourceBasedCodeCoverage.rst | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/docs/SourceBasedCodeCoverage.rst b/docs/SourceBasedCodeCoverage.rst index 0586f2ec84..75ab258e8f 100644 --- a/docs/SourceBasedCodeCoverage.rst +++ b/docs/SourceBasedCodeCoverage.rst @@ -188,8 +188,9 @@ Format compatibility guarantees Drawbacks and limitations ========================= -* Code coverage does not handle stack unwinding in the presence of uncaught - exceptions precisely. Consider the following function: +* Code coverage does not handle unpredictable changes in control flow or stack + unwinding in the presence of exceptions precisely. Consider the following + function: .. code-block:: cpp @@ -198,6 +199,6 @@ Drawbacks and limitations return 0; } - If the function ``may_throw()`` propagates an exception into ``f``, the code + If the call to ``may_throw()`` propagates an exception into ``f``, the code coverage tool may mark the ``return`` statement as executed even though it is - not. + not. A call to ``longjmp()`` can have similar effects. |