Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II.

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

diff --git a/lib/Checker/GRExprEngine.cpp b/lib/Checker/GRExprEngine.cpp
index 9c1eef23b5bfb67b57e774254f06d69521f34533..0c3a7bbc15727a3a628da36ca6e1d741522b3e29 100644 (file)
--- a/lib/Checker/GRExprEngine.cpp
+++ b/lib/Checker/GRExprEngine.cpp
@@ -2682,7 +2682,14 @@ void GRExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
     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);
+                                       Pred->getLocationContext()), Pred, Tmp);
+
+      // FIXME: remove later when all paths through VisitAggExpr work properly
+      if (Tmp.empty())
+        Tmp.Add(Pred);
+      // Call checkers for initialized aggregates
+      CheckerVisit(DS, Dst, Tmp, PreVisitStmtCallback);
+
       return;
     } else if (VD->getType()->isReferenceType())
       VisitLValue(InitEx, Pred, Tmp);