[C++4OpenCL] Templates and address spaces

[piotrrak]

Please consider this code (from my attempt on compiling libc++ in OpenCL C++ dialect)

https://godbolt.org/z/EYGs97zKs

It is hard for me to imagine what __generic char typename even is.

I am looking for confirmation that types shouldn't propagate address space in such cases unless those are pointers/references,
and I should consider it bug.

Should such idiomatic code C++ should compile (please disregard __constant case which is separate issue) or it is just how it was specified?

Still wrapping my head around address space rules, help with understanding the correct behavior would be really appreciated.

For function types the it wording is pretty clear, thus #153508 and #153459 which I consider a progress in right direction.

[llvmbot]

@llvm/issue-subscribers-opencl

Author: None (piotrrak)

Please consider this code (from my attempt on compiling libc++ in OpenCL C++ dialect)

https://godbolt.org/z/EYGs97zKs

It is hard for me to imagine what __generic char typename even is.

I am looking for confirmation that types shouldn't propagate address space in such cases unless those are pointers/references,
and I should consider it bug.

Should such idiomatic code C++ should compile (please disregard __constant case which is separate issue) or it is just how it was specified?

Still wrapping my head around address space rules, help with understanding the correct behavior would be really appreciated.

For function types the it wording is pretty clear, thus #153508 and #153459 which I consider a progress in right direction.

[piotrrak]

It works correctly, my misunderstanding was on how address space inference works here;
If I specify AS explicitly I'd get typename char deduced in this template.
Sorry about that.

Here is counter example to with explicit address space on pointer.
https://godbolt.org/z/d6cfTT7ca