https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121946
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Oh but that's still wrong because we do want to do a single relocate loop for the case where __alloc is not std::allocator. It's only for std::allocator that _Destroy is a no-op. So changing the definition of __bitwise_relocatable is far simple and cleaner.