diff options
| author | DeLesley Hutchins <delesley@google.com> | 2012-09-10 19:58:23 +0000 |
|---|---|---|
| committer | DeLesley Hutchins <delesley@google.com> | 2012-09-10 19:58:23 +0000 |
| commit | 3f0ec5209726641782468bd4c7597e79dda78b15 (patch) | |
| tree | dea619fabad3cecc1516644084b6ac886a32a8b7 /include/clang/Analysis/Analyses/ThreadSafety.h | |
| parent | bd7e30605253ae053087619173713c19355e28ea (diff) | |
Thread-safety analysis: differentiate between two forms of analysis; a precise
analysis that may give false positives because it is confused by aliasing, and
a less precise analysis that has fewer false positives, but may have false
negatives. The more precise warnings are enabled by -Wthread-safety-precise.
An additional note clarify the warnings in the precise case.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163537 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Analysis/Analyses/ThreadSafety.h')
| -rw-r--r-- | include/clang/Analysis/Analyses/ThreadSafety.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/clang/Analysis/Analyses/ThreadSafety.h b/include/clang/Analysis/Analyses/ThreadSafety.h index 742cc04344..ef6b821e39 100644 --- a/include/clang/Analysis/Analyses/ThreadSafety.h +++ b/include/clang/Analysis/Analyses/ThreadSafety.h @@ -132,7 +132,8 @@ public: /// \param Loc -- The location of the protected operation. virtual void handleMutexNotHeld(const NamedDecl *D, ProtectedOperationKind POK, Name LockName, - LockKind LK, SourceLocation Loc) {} + LockKind LK, SourceLocation Loc, + Name *PossibleMatch=0) {} /// Warn when a function is called while an excluded mutex is locked. For /// example, the mutex may be locked inside the function. |