[Bug libstdc++/65114] char_traits::copy violates memcpy constraints, own postcondition

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65114

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|SUSPENDED                   |RESOLVED
         Resolution|---                         |INVALID

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The issue was resolved to make char_traits::copy have the same precondition as
memcpy. So the code in comment 0 has undefined behaviour.