diff options
author | NAKAMURA Takumi <geek4civic@gmail.com> | 2015-09-15 01:53:27 +0000 |
---|---|---|
committer | NAKAMURA Takumi <geek4civic@gmail.com> | 2015-09-15 01:53:27 +0000 |
commit | f14c2508e49c0109bd36c57197a13fc5166e5e3d (patch) | |
tree | 0c2a916fcb01c7806bc33fceb7087f75e6739d70 /clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | |
parent | f75e15e5acb35af313ed50ed84c3e4c20c070910 (diff) | |
download | bcm5719-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.cpp | 8 |
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; } |