[PATCH] D77229: [Analyzer][WIP] Avoid handling of LazyCompundVals in IteratorModeling

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Apr 27 05:19:59 PDT 2020


NoQ added a comment.

In D77229#2004964 <https://reviews.llvm.org/D77229#2004964>, @baloghadamsoftware wrote:

> Even if I put weeks or months of work into it the code will be worse at the end because there will be lots of branches upon the nature of the variable and alternative ways for reaching the `Decl` from their regions.


What specifically do you want from the `Decl`? Is it the type? We have it. Is it the very fact that it's a parameter? We have it. Is it the index of the parameter? We have it. Is it the name of the parameter? It's so irrelevant that it's not even necessarily consistent across redeclarations, but if you really need it you may try to obtain the `Decl` whenever it's available, as the amount of cases when the `Decl` is available hasn't changed. What else does a `Decl` have to offer?


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

https://reviews.llvm.org/D77229





More information about the cfe-commits mailing list