From: NAKAMURA Takumi <geek4civic@gmail.com>
Date: Tue, 15 Sep 2015 01:53:27 +0000 (+0000)
Subject: ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=fdb4d1e271be2dbbaffba6bb066022f09bfd7152;p=clang

ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@247657 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp b/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
index 1d77714a00..eb035acee9 100644
--- a/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
+++ b/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
@@ -182,10 +182,10 @@ void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME,
       // Receiver is definitely nil, so run ObjCMessageNil callbacks and return.
       if (nilState && !notNilState) {
         StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
-        bool HasTag = Pred->getLocation().getTag();
         Pred = Bldr.generateNode(ME, Pred, nilState, nullptr,
                                  ProgramPoint::PreStmtKind);
-        assert((Pred || HasTag) && "Should have cached out already!");
+        assert((Pred || Pred->getLocation().getTag()) &&
+               "Should have cached out already!");
         if (!Pred)
           return;
         getCheckerManager().runCheckersForObjCMessageNil(Dst, Pred,
@@ -198,9 +198,9 @@ void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME,
       // Generate a transition to the non-nil state, dropping any potential
       // nil flow.
       if (notNilState != State) {
-        bool HasTag = Pred->getLocation().getTag();
         Pred = Bldr.generateNode(ME, Pred, notNilState);
-        assert((Pred || HasTag) && "Should have cached out already!");
+        assert((Pred || Pred->getLocation().getTag()) &&
+               "Should have cached out already!");
         if (!Pred)
           return;
       }