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

[Oleksandr T. via cfe-commits]

a-tarasyuk wrote:

It seems this PR requires a decision on whether these changes are acceptable for fixing this particular case, or whether it should be closed in favor of a future CFG-based solution. If the latter, I’m okay with closing it.

I think a complete rework of -Wfor-loop-analysis is better done in a new PR — I looked into it a bit, and it would require refactoring that goes beyond this particular case, so it feels more appropriate to handle it as a separate PR with a complete redesign.

@cor3ntin @AaronBallman @zyn0217 WDYT?




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