[clang] [Clang] enhance loop analysis to handle variable changes inside lambdas (PR #135573)
Oleksandr T. via cfe-commits
cfe-commits at lists.llvm.org
Sat May 17 07:14:46 PDT 2025
a-tarasyuk wrote:
> I question if -Wloop-analysis should be completely rewritten using dataflow analysis, rather than AST based matching.
should changes inside functions be handled in the following cases?
https://github.com/llvm/llvm-project/blob/db0f754c5af8e6c96770533520bf8b17fc0dc977/clang/test/SemaCXX/warn-loop-analysis.cpp#L23
https://github.com/llvm/llvm-project/blob/db0f754c5af8e6c96770533520bf8b17fc0dc977/clang/test/SemaCXX/warn-loop-analysis.cpp#L8
> rewritten using dataflow analysis
[`ExprMutationAnalyzer`](https://github.com/llvm/llvm-project/blob/main/clang/lib/Analysis/ExprMutationAnalyzer.cpp)?
/cc @AaronBallman @zyn0217 @cor3ntin
https://github.com/llvm/llvm-project/pull/135573
More information about the cfe-commits
mailing list