On Fri, 6 May 2022, Matthias Gehre via Gcc wrote: > > This proposed interface doesn't say anything about what aliasing is or > > isn't permitted among the four arrays pointed to. > Good catch. I would lean into saying that none of the four arrays must alias > because allowing them to alias would require most implementations to allocate > extra scratch space. > What do you think?
Given that all four arrays can be written to, that seems reasonable (along with declaring them all as "restrict"). -- Joseph S. Myers jos...@codesourcery.com
