[clang] [analyzer] Support pack indexing expressions (PR #173186)

via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 23 04:07:37 PST 2025


================
@@ -3447,6 +3461,22 @@ void ExprEngine::VisitArrayInitLoopExpr(const ArrayInitLoopExpr *Ex,
   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, Ex, *this);
 }
 
+void ExprEngine::VisitPackIndexingExpr(const PackIndexingExpr *E,
+                                       ExplodedNode *Pred,
+                                       ExplodedNodeSet &Dst) {
+  if (!E->isFullySubstituted()) {
+    llvm_unreachable("Unsubstituted pack indexing expression");
+  }
----------------
lbonn wrote:

Thanks!

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


More information about the cfe-commits mailing list