ymandel added a comment.

In D121694#3382473 <https://reviews.llvm.org/D121694#3382473>, @xazax.hun wrote:

> The change itself looks good. But out of curiosity, could you give me an 
> example when we do not want to use the builtin transfer functions?

Sure! Pretty much any plain-vanilla dataflow analysis that sticks to its own 
lattice and doesn't care about the environment. The demo constant-propagation 
analyses are like this, but we have additional real analyses using the 
framework in this way. Examples include an analysis to detect raw pointers that 
could be unique pointers and one that detects missed opportunies to use 
`std::move`.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D121694/new/

https://reviews.llvm.org/D121694

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to