[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!
llvm-svn: 271902
diff --git a/clang/docs/SourceBasedCodeCoverage.rst b/clang/docs/SourceBasedCodeCoverage.rst
index 0586f2e..75ab258 100644
--- a/clang/docs/SourceBasedCodeCoverage.rst
+++ b/clang/docs/SourceBasedCodeCoverage.rst
@@ -188,8 +188,9 @@
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 @@
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.
