On 2/22/23 09:17, Richard W.M. Jones wrote:
On Tue, Feb 21, 2023 at 05:23:52PM +0100, Laszlo Ersek wrote:
> This is doable, but I hope it's not expected that
> DEFINE_POINTER_VECTOR_TYPE() *enforce* that the element type be a pointer :)
You might ignore this for a first draft, but it is apparently possible
to statically detect this (at least, if using GCC/clang):
https://stackoverflow.com/questions/19255148/check-if-a-macro-argument-is...
Right, we already use at least __builtin_types_compatible_p in
TYPE_IS_ARRAY(); that's what I wouldn't want more of, at least via this
series.
Laszlo