diff options
| author | DeLesley Hutchins <delesley@google.com> | 2012-12-08 03:46:30 +0000 |
|---|---|---|
| committer | DeLesley Hutchins <delesley@google.com> | 2012-12-08 03:46:30 +0000 |
| commit | 0cfa1a5a1d2be8345046943e33b57d74d816b969 (patch) | |
| tree | 2b8043009041470dcff32a111d88f9e4020449ac /clang/lib/Analysis/ThreadSafety.cpp | |
| parent | 1d94e932bc6af8b852311d2bb1bf142ee1dd7d0a (diff) | |
| download | bcm5719-llvm-0cfa1a5a1d2be8345046943e33b57d74d816b969.tar.gz bcm5719-llvm-0cfa1a5a1d2be8345046943e33b57d74d816b969.zip | |
Thread-safety analysis: check member access on guarded non-primitive types.
llvm-svn: 169669
Diffstat (limited to 'clang/lib/Analysis/ThreadSafety.cpp')
| -rw-r--r-- | clang/lib/Analysis/ThreadSafety.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/clang/lib/Analysis/ThreadSafety.cpp b/clang/lib/Analysis/ThreadSafety.cpp index fdfd599ba52..9c33a8e97c7 100644 --- a/clang/lib/Analysis/ThreadSafety.cpp +++ b/clang/lib/Analysis/ThreadSafety.cpp @@ -1858,6 +1858,15 @@ void BuildLockset::checkAccess(const Expr *Exp, AccessKind AK) { return; } + if (Analyzer->Handler.issueBetaWarnings()) { + if (const MemberExpr *ME = dyn_cast<MemberExpr>(Exp)) { + if (ME->isArrow()) + checkPtAccess(ME->getBase(), AK); + else + checkAccess(ME->getBase(), AK); + } + } + const ValueDecl *D = getValueDecl(Exp); if (!D || !D->hasAttrs()) return; |
