On Fri, 26 Jul 2024, Alejandro Colomar via Gcc wrote: > I don't see why it should not apply to void*. memcpy(3) should get this > attribute: > > [[alx::restrict(1)]] > [[alx::restrict(2)]] > void *memcpy(void *dst, const void *src, size_t n); That would disallow copying between disjoint subarrays within the same toplevel object (and there's no way to specify an array size for void *), which hardly seems right. > BTW, the author of n2529 didn't follow up, right? I'd like that in, so > I'll prepare something after n2906 is merged. Martin, would you mind > pinging me about it? See reflector message SC22WG14.18575, 17 Nov 2020 (the former convenor replying when I asked about just that paper). As far as I know the author has not yet provided an updated version / asked for it to be added to a meeting agenda. -- Joseph S. Myers josmyers@xxxxxxxxxx
