From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Thu, 14 Oct 2010 05:22:59 +0000 (+0000)
Subject: Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=830a7fe0eefee4687aa5f1d355ae39fadfd1b2ab;p=clang

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 9c1eef23b5..0c3a7bbc15 100644
--- 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);