[clang] [LifetimeSafety] Make the dataflow analysis generic (PR #148222)

[Utkarsh Saxena via cfe-commits]

usx95 wrote:

> One question for the future: sometimes it might be better to run certain analyses side by side in the same worklist rather than running them sequentially after each other. Do you think there are some analysis steps that will be beneficial to be combined in that way?

That is true to a certain extent. The analyses with similar # of fixed-point-iterations can be grouped together to run together to save on multiple fixed-point iterations. At this point, I expect the LoanPropagation to significantly outweigh the rest of analyses to have any meaningful wins from a single worklist.

As you said, this can be addressed in the future when we have some evidence through profiling and benchmarking on real code bases.



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