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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
