abhinavgaba added a comment.

In D141627#4049085 <https://reviews.llvm.org/D141627#4049085>, @tianshilei1992 
wrote:

> FWIW, I think `has_device_addr(b[0])` is not trying to take the value of 
> `b[0]` in this case. Instead, it's just to take the address of the first 
> element of `b`. Only pointer arithmetic will be involved. It's not 
> necessarily illegal to do it in that way.

That is true. It would be wrong if `b` was a pointer, for which `&b[0]` 
computation would have involved a load.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D141627

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

Reply via email to