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