[clang] [Clang] enhance loop analysis to handle variable changes inside lambdas (PR #135573)

[via cfe-commits]

cor3ntin wrote:

> @cor3ntin I question if `-Wloop-analysis` should be completely rewritten using dataflow analysis, rather than AST based matching.

That's an interesting idea, but I don't think that should stop us from landing this improvement.
Maybe we want to open an issue for that?
@AaronBallman 

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