[clang] 880b3b2 - [rtsan][NFC] Add 'known to have non-deterministic' caveat to documentation (#114281)
via cfe-commits
cfe-commits at lists.llvm.org
Thu Oct 31 07:50:02 PDT 2024
Author: Chris Apple
Date: 2024-10-31T07:49:59-07:00
New Revision: 880b3b26c9d7b479f678df665dd2cecac988a7f3
URL: https://github.com/llvm/llvm-project/commit/880b3b26c9d7b479f678df665dd2cecac988a7f3
DIFF: https://github.com/llvm/llvm-project/commit/880b3b26c9d7b479f678df665dd2cecac988a7f3.diff
LOG: [rtsan][NFC] Add 'known to have non-deterministic' caveat to documentation (#114281)
Added:
Modified:
clang/docs/RealtimeSanitizer.rst
Removed:
################################################################################
diff --git a/clang/docs/RealtimeSanitizer.rst b/clang/docs/RealtimeSanitizer.rst
index e5f5abfcd9b47e..193f5217c1a1a1 100644
--- a/clang/docs/RealtimeSanitizer.rst
+++ b/clang/docs/RealtimeSanitizer.rst
@@ -12,9 +12,9 @@ projects. RTSan can be used to detect real-time violations, i.e. calls to method
that are not safe for use in functions with deterministic run time requirements.
RTSan considers any function marked with the ``[[clang::nonblocking]]`` attribute
to be a real-time function. At run-time, if RTSan detects a call to ``malloc``,
-``free``, ``pthread_mutex_lock``, or anything else that could have a
+``free``, ``pthread_mutex_lock``, or anything else known to have a
non-deterministic execution time in a function marked ``[[clang::nonblocking]]``
-RTSan raises an error.
+it raises an error.
RTSan performs its analysis at run-time but shares the ``[[clang::nonblocking]]``
attribute with the :doc:`FunctionEffectAnalysis` system, which operates at
More information about the cfe-commits
mailing list