diff options
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h | 11 | ||||
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngine.cpp | 5 |
2 files changed, 6 insertions, 10 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h b/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h index c555ee995f..86001baffe 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/Calls.h @@ -405,16 +405,13 @@ public: /// /// Example: obj.prop += 1; class ObjCPropertyAccess : public ObjCMethodCall { - const ObjCPropertyRefExpr *PropE; SourceRange EntireRange; public: - ObjCPropertyAccess(const ObjCPropertyRefExpr *pe, SourceRange range, - const ObjCMessageExpr *Msg, const ProgramStateRef St, - const LocationContext *LCtx) - : ObjCMethodCall(Msg, St, LCtx, CE_ObjCPropertyAccess), PropE(pe), - EntireRange(range) - {} + ObjCPropertyAccess(SourceRange range, const ObjCMessageExpr *Msg, + const ProgramStateRef St, const LocationContext *LCtx) + : ObjCMethodCall(Msg, St, LCtx, CE_ObjCPropertyAccess), EntireRange(range) + {} /// \brief Returns true if this property access is calling the setter method. bool isSetter() const { diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 63aa28fa0a..ae38a12160 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -881,9 +881,8 @@ void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred, if (const BinaryOperator *BO = dyn_cast<BinaryOperator>(syntactic)) syntactic = BO->getLHS(); - if (const ObjCPropertyRefExpr *PR = - dyn_cast<ObjCPropertyRefExpr>(syntactic)) { - VisitObjCMessage(ObjCPropertyAccess(PR, PO->getSourceRange(), ME, + if (isa<ObjCPropertyRefExpr>(syntactic)) { + VisitObjCMessage(ObjCPropertyAccess(PO->getSourceRange(), ME, Pred->getState(), LCtx), Pred, Dst); evaluated = true; |