[clang] [LifetimeSafety] Add bailout for large CFGs (PR #170444)
Utkarsh Saxena via cfe-commits
cfe-commits at lists.llvm.org
Mon Dec 15 08:11:44 PST 2025
usx95 wrote:
> I also wonder if it is better to do something else for functions with large CFGs. E.g., instead of entirely skipping them, we could just visit all nodes ones and not iterate to a fixed-point.
I have tried doing that earlier to reduce improve performance on LLVM but had no success. The primary bottleneck in practice seems to be the number of join operations we need to do even in a single iteration and this is proportional to the number of blocks.
I would recommend to not do anything more clever here. Set this limit relatively high would make almost all human-written code in the scope of the analysis.
https://github.com/llvm/llvm-project/pull/170444
More information about the cfe-commits
mailing list