diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-01 03:47:27 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-04-01 03:47:27 +0000 |
| commit | 8cea7f6f70290386808d43b5cc7a14c6946823d0 (patch) | |
| tree | 38926362ff0cc98822f3da76be1a6601a6cf34c5 | |
| parent | 2fbd4050e979391d74fb9be7c2036b5506cb207b (diff) | |
| download | bcm5719-llvm-8cea7f6f70290386808d43b5cc7a14c6946823d0.tar.gz bcm5719-llvm-8cea7f6f70290386808d43b5cc7a14c6946823d0.zip | |
Improve C++ constructor handling.
llvm-svn: 100080
| -rw-r--r-- | clang/lib/Checker/AggExprVisitor.cpp | 1 | ||||
| -rw-r--r-- | clang/lib/Checker/GRExprEngine.cpp | 6 |
2 files changed, 5 insertions, 2 deletions
diff --git a/clang/lib/Checker/AggExprVisitor.cpp b/clang/lib/Checker/AggExprVisitor.cpp index 5f55ab869c2..343afec18d2 100644 --- a/clang/lib/Checker/AggExprVisitor.cpp +++ b/clang/lib/Checker/AggExprVisitor.cpp @@ -38,6 +38,7 @@ void AggExprVisitor::VisitCastExpr(CastExpr *E) { switch (E->getCastKind()) { default: assert(0 && "Unhandled cast kind"); + case CastExpr::CK_NoOp: case CastExpr::CK_ConstructorConversion: Visit(E->getSubExpr()); break; diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp index 04f8cc6142c..2e40a934708 100644 --- a/clang/lib/Checker/GRExprEngine.cpp +++ b/clang/lib/Checker/GRExprEngine.cpp @@ -2363,8 +2363,10 @@ void GRExprEngine::VisitDeclStmt(DeclStmt *DS, ExplodedNode *Pred, ExplodedNodeSet Tmp; if (InitEx) { - if (const CXXConstructExpr *E = dyn_cast<CXXConstructExpr>(InitEx)) { - VisitCXXConstructExpr(E, GetState(Pred)->getLValue(VD, + QualType InitTy = InitEx->getType(); + if (getContext().getLangOptions().CPlusPlus && InitTy->isRecordType()) { + // Delegate expressions of C++ record type evaluation to AggExprVisitor. + VisitAggExpr(InitEx, GetState(Pred)->getLValue(VD, Pred->getLocationContext()), Pred, Dst); return; } else if (VD->getType()->isReferenceType()) |
