summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
diff options
context:
space:
mode:
authorNAKAMURA Takumi <geek4civic@gmail.com>2015-09-15 01:53:27 +0000
committerNAKAMURA Takumi <geek4civic@gmail.com>2015-09-15 01:53:27 +0000
commitf14c2508e49c0109bd36c57197a13fc5166e5e3d (patch)
tree0c2a916fcb01c7806bc33fceb7087f75e6739d70 /clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
parentf75e15e5acb35af313ed50ed84c3e4c20c070910 (diff)
downloadbcm5719-llvm-f14c2508e49c0109bd36c57197a13fc5166e5e3d.tar.gz
bcm5719-llvm-f14c2508e49c0109bd36c57197a13fc5166e5e3d.zip
ExprEngineObjC.cpp: Fix warnings. [-Wunused-variable]
llvm-svn: 247657
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp8
1 files changed, 4 insertions, 4 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
index 1d77714a002..eb035acee96 100644
--- a/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
+++ b/clang/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;
}
OpenPOWER on IntegriCloud