Xazax-hun wrote: > Is there any piece specifically you have in mind.
The very least, there are a list of helper functions that I believe could be shared and greatly improve the consistency between the two analysis. Including: * `shouldTrackFirstArgumentForConstructor` * `isCopyLikeConstructor` And probably a lot more. I think it would be important that the two algorithms have a shared understanding of what the annotations mean and the same heuristics when heuristics are involved. This would also help to build on the learnings and testing we already did for the statement local analysis. https://github.com/llvm/llvm-project/pull/154009 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits