Szelethus added a comment.

In D79704#2032271 <https://reviews.llvm.org/D79704#2032271>, @NoQ wrote:

> Blanket reply! `ParamRegion` is not a `DeclRegion` because it does not 
> necessarily have a corresponding `Decl`. For instance, when calling a 
> function through an unknown function pointer, you don't have the declaration 
> of a function, let alone its parameters.


Well hold on for a second then -- how is this, if it is, different for member 
pointers? Aren't they represented with a `VarRegion`?

> But for parameters of C++ object type you still need your `ParamRegion` 
> because arguments are constructed into it.

Could you give a specific code example?

Since this patch isn't WIP, lets add unit tests that shows the added interface, 
highlighting pain points such as this.


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

https://reviews.llvm.org/D79704



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

Reply via email to