Skip to content

Commit 47018f7

Browse files
cjapplsmallp-o-p
authored andcommitted
[rtsan][NFC] Add 'known to have non-deterministic' caveat to documentation (llvm#114281)
1 parent d311e39 commit 47018f7

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

clang/docs/RealtimeSanitizer.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ projects. RTSan can be used to detect real-time violations, i.e. calls to method
1212
that are not safe for use in functions with deterministic run time requirements.
1313
RTSan considers any function marked with the ``[[clang::nonblocking]]`` attribute
1414
to be a real-time function. At run-time, if RTSan detects a call to ``malloc``,
15-
``free``, ``pthread_mutex_lock``, or anything else that could have a
15+
``free``, ``pthread_mutex_lock``, or anything else known to have a
1616
non-deterministic execution time in a function marked ``[[clang::nonblocking]]``
17-
RTSan raises an error.
17+
it raises an error.
1818

1919
RTSan performs its analysis at run-time but shares the ``[[clang::nonblocking]]``
2020
attribute with the :doc:`FunctionEffectAnalysis` system, which operates at

0 commit comments

Comments
 (0)