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

[NAKAMURA Takumi via cfe-commits]

Author: chapuni
Date: Mon Sep 14 20:53:27 2015
New Revision: 247657

URL: http://llvm.org/viewvc/llvm-project?rev=247657&view=rev
Log:
ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp?rev=247657&r1=247656&r2=247657&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp Mon Sep 14 20:53:27 2015
@@ -182,10 +182,10 @@ void ExprEngine::VisitObjCMessage(const
       // 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
       // 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;
       }