[clang] [analyzer] Resolve lambda captures for explicit object parameters (PR #219726)

[Donát Nagy via cfe-commits]

================
@@ -3016,43 +3018,62 @@ void ExprEngine::processSwitch(const SwitchStmt *Switch, ExplodedNode *Pred,
 // Transfer functions: Loads and stores.
 //===----------------------------------------------------------------------===//
 
-void ExprEngine::VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D,
-                                        ExplodedNode *Pred,
-                                        ExplodedNodeSet &Dst) {
+std::optional<std::pair<SVal, QualType>>
+ExprEngine::resolveAsLambdaCapturedVar(const Expr *Ex, const ValueDecl *VD,
+                                       ExplodedNode *Pred) {
   ProgramStateRef state = Pred->getState();
----------------
NagyDonat wrote:

Nitpick: please capitalize the name to `State`, because this variable is mostly used in new code.

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