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

Reply via email to