[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