From fdb4d1e271be2dbbaffba6bb066022f09bfd7152 Mon Sep 17 00:00:00 2001 From: NAKAMURA Takumi Date: Tue, 15 Sep 2015 01:53:27 +0000 Subject: [PATCH] ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable] git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@247657 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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; } -- 2.50.1