[clang] [Analyzer] support parenthesized list initialization (PR #148988)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 15 22:58:03 PDT 2025


================
@@ -1233,3 +1233,34 @@ void ExprEngine::VisitAttributedStmt(const AttributedStmt *A,
 
   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, A, *this);
 }
+
+void ExprEngine::VisitCXXParenListInitExpr(const CXXParenListInitExpr *E,
+                                           ExplodedNode *Pred,
+                                           ExplodedNodeSet &Dst) {
+  StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
+
+  ProgramStateRef S = Pred->getState();
+  QualType T = getContext().getCanonicalType(E->getType());
+
+  const LocationContext *LCtx = Pred->getLocationContext();
+
+  SmallVector<SVal, 4> ArgVals;
----------------
steakhal wrote:

Do we need this temporary `ArgVals` to fill up `ArgList`?

https://github.com/llvm/llvm-project/pull/148988


More information about the cfe-commits mailing list