valarray_copy implementation question

[Paolo Carlini]

Gabriel Dos Reis wrote:
> They are.  I'll come back to you today on this topic.
>   
Thanks Gaby, because in fact I'm finding the issue quite substantive,
isn't just about some strange corner cases: it's really about copying
all the source elements or just picking some depending on the
destination mask; it's about checking for overruns of the destination or
not. A big difference.

Also, to be honest valgrind tells me something rather strange about that
other implementation too, and I don't want to look at the source code
any further!

Paolo.