diff options
Diffstat (limited to 'contrib/llvm-project/clang/include/clang/Analysis/Analyses/ThreadSafety.h')
-rw-r--r-- | contrib/llvm-project/clang/include/clang/Analysis/Analyses/ThreadSafety.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ThreadSafety.h b/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ThreadSafety.h index 0d3dda1256fb..bfa9870a1e1f 100644 --- a/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ThreadSafety.h +++ b/contrib/llvm-project/clang/include/clang/Analysis/Analyses/ThreadSafety.h @@ -202,6 +202,14 @@ public: virtual void handleNegativeNotHeld(StringRef Kind, Name LockName, Name Neg, SourceLocation Loc) {} + /// Warn when calling a function that a negative capability is not held. + /// \param D -- The decl for the function requiring the negative capability. + /// \param LockName -- The name for the lock expression, to be printed in the + /// diagnostic. + /// \param Loc -- The location of the protected operation. + virtual void handleNegativeNotHeld(const NamedDecl *D, Name LockName, + SourceLocation Loc) {} + /// Warn when a function is called while an excluded mutex is locked. For /// example, the mutex may be locked inside the function. /// \param Kind -- the capability's name parameter (role, mutex, etc). |