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

Oleksandr T. via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 16 06:48:16 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;
----------------
a-tarasyuk wrote:

@steakhal, thanks for the feedback. Good point — it can be removed.

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


More information about the cfe-commits mailing list