diff options
| author | John McCall <rjmccall@apple.com> | 2010-03-30 23:58:03 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2010-03-30 23:58:03 +0000 |
| commit | d9c7c6568e17e3bdc7006da3253eb2900a70ec3f (patch) | |
| tree | a866ba628ca57eba03330d2f1efa9258512bce2b /clang/lib/Checker | |
| parent | 4d2972d7939f51b1380bce918effceabe0da15ea (diff) | |
| download | bcm5719-llvm-d9c7c6568e17e3bdc7006da3253eb2900a70ec3f.tar.gz bcm5719-llvm-d9c7c6568e17e3bdc7006da3253eb2900a70ec3f.zip | |
Introduce a new kind of derived-to-base cast which bypasses the need for
null checks, and make sure we elide null checks when accessing base class
members.
llvm-svn: 99963
Diffstat (limited to 'clang/lib/Checker')
| -rw-r--r-- | clang/lib/Checker/GRExprEngine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp index 1afe0917f1c..04f8cc6142c 100644 --- a/clang/lib/Checker/GRExprEngine.cpp +++ b/clang/lib/Checker/GRExprEngine.cpp @@ -2306,6 +2306,7 @@ void GRExprEngine::VisitCast(CastExpr *CastE, Expr *Ex, ExplodedNode *Pred, case CastExpr::CK_AnyPointerToObjCPointerCast: case CastExpr::CK_AnyPointerToBlockPointerCast: case CastExpr::CK_DerivedToBase: + case CastExpr::CK_UncheckedDerivedToBase: // Delegate to SValuator to process. for (ExplodedNodeSet::iterator I = S2.begin(), E = S2.end(); I != E; ++I) { ExplodedNode* N = *I; |
