diff options
| author | John McCall <rjmccall@apple.com> | 2011-11-07 05:09:54 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2011-11-07 05:09:54 +0000 |
| commit | ffc8ca2d84560774a322c2e77c3f083c2d0c386b (patch) | |
| tree | 4ae28f064f4a8eecb80edae9966f5440ec19c6a0 /clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | |
| parent | 80815600487aa8194187b9a30efd27e79d8ef37c (diff) | |
| download | bcm5719-llvm-ffc8ca2d84560774a322c2e77c3f083c2d0c386b.tar.gz bcm5719-llvm-ffc8ca2d84560774a322c2e77c3f083c2d0c386b.zip | |
Rip out CK_GetObjCProperty.
llvm-svn: 143910
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp index 86570cb5d75..b82dfea58de 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp @@ -179,8 +179,7 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNodeSet dstPreStmt; getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); - if (CastE->getCastKind() == CK_LValueToRValue || - CastE->getCastKind() == CK_GetObjCProperty) { + if (CastE->getCastKind() == CK_LValueToRValue) { for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end(); I!=E; ++I) { ExplodedNode *subExprNode = *I; @@ -206,8 +205,6 @@ void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, switch (CastE->getCastKind()) { case CK_LValueToRValue: llvm_unreachable("LValueToRValue casts handled earlier."); - case CK_GetObjCProperty: - llvm_unreachable("GetObjCProperty casts handled earlier."); case CK_ToVoid: continue; // The analyzer doesn't do anything special with these casts, |
