From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 20 Mar 2014 18:47:50 +0000 (+0000)
Subject: Remove dead assignment dominated by a call to llvm_unreachable().
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a8554f53124d615ed59d724c7c56881179678cff;p=clang

Remove dead assignment dominated by a call to llvm_unreachable().

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@204375 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp
index 517e670c19..e7f49b279c 100644
--- a/lib/StaticAnalyzer/Core/ExprEngine.cpp
+++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp
@@ -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();
           }
         }