[PATCH] PR libstdc++/89164 enforce constraints for uninitialized algos

[Jonathan Wakely <jwakely at redhat dot com>]

The memmove optimizations for std::uninitialized_copy/fill/_n will
compile even if the type is not copy constructible, because std::copy
doesn't require copy construction to work. But the uninitialized
algorithms do require it.

This adds explicit static assertions to ensure we don't allow ill-formed
initializations.

	PR libstdc++/89164
	* include/bits/stl_uninitialized.h (uninitialized_copy): Add static
	assertion.
	* testsuite/20_util/specialized_algorithms/uninitialized_copy/89164.cc:
	New test.
	* testsuite/20_util/specialized_algorithms/uninitialized_copy_n/
	89164.cc: New test.
	* testsuite/20_util/specialized_algorithms/uninitialized_fill/89164.cc:
	New test.
	* testsuite/20_util/specialized_algorithms/uninitialized_fill_n/
	89164.cc: New test.
	* testsuite/23_containers/vector/cons/89164.cc: New test.

This fixes an accepts-invalid bug in vector (and probably other
containers, I didn't check) but I don't see any great urgency to fix
this now. I'll wait for stage 1.

Attachment: patch.txt
Description: Text document