Thread safety analysis: check pt_guarded_by attribute when calling -> and *

on smart pointers.  -Wthread-safety-beta only.

llvm-svn: 194103

1 files changed, 8 insertions, 0 deletions

diff --git a/clang/lib/Analysis/ThreadSafety.cpp b/clang/lib/Analysis/ThreadSafety.cpp
index e5e5f18b515..607526db3e5 100644
--- a/clang/lib/Analysis/ThreadSafety.cpp
+++ b/clang/lib/Analysis/ThreadSafety.cpp
@@ -2134,6 +2134,14 @@ void BuildLockset::VisitCallExpr(CallExpr *Exp) {
         checkAccess(Source, AK_Read);
         break;
       }
+      case OO_Star:
+      case OO_Arrow: {
+        if (Analyzer->Handler.issueBetaWarnings()) {
+          const Expr *Target = OE->getArg(0);
+          checkPtAccess(Target, AK_Read);
+        }
+        break;
+      }
       default: {
         const Expr *Source = OE->getArg(0);
         checkAccess(Source, AK_Read);