]> granicus.if.org Git - clang/commitdiff
Remove dead assignment dominated by a call to llvm_unreachable().
authorTed Kremenek <kremenek@apple.com>
Thu, 20 Mar 2014 18:47:50 +0000 (18:47 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 20 Mar 2014 18:47:50 +0000 (18:47 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@204375 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/ExprEngine.cpp

index 517e670c19dc5a74bca3b19dfc0ce9ab8bcbbfd0..e7f49b279c0038b617613b2bcb7f2f55e94839fe 100644 (file)
@@ -1832,7 +1832,6 @@ void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred,
             dyn_cast<ImplicitCastExpr>((*I)->getParentMap().getParent(M));
           if (!PE || PE->getCastKind() != CK_ArrayToPointerDecay) {
             llvm_unreachable("should always be wrapped in ArrayToPointerDecay");
-            L = UnknownVal();
           }
         }