[PATCH] D65744: [PR42707][OpenCL] Fix addr space deduction for auto

Mon Aug 26 21:48:40 PDT 2019

rjmccall added a comment.

In D65744#1629055 <https://reviews.llvm.org/D65744#1629055>, @Anastasia wrote:

> In D65744#1627589 <https://reviews.llvm.org/D65744#1627589>, @rjmccall wrote:
>
> > I see.  Is the deduction rule recursive or something, where a pointer to pointer is inferred to point to the same address space as the pointee?
>
>
> It is recursive indeed and we currently deduce all pointees to generic AS.

Is that likely to change?  If all pointees are inferred to be generic (in the absence of an explicit qualifier) when building a pointer type, this seems very over-thought vs. just adding the generic AS whenever you build a pointer to an unqualified but non-dependent type.

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

https://reviews.llvm.org/D65744