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;
}
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
