r250539 - in /branches/gcc-7-branch/libstdc++-v...

[redi@gcc.gnu.org]

Author: redi
Date: Tue Jul 25 18:05:13 2017
New Revision: 250539

URL: https://gcc.gnu.org/viewcvs?rev=250539&root=gcc&view=rev
Log:
PR libstdc++/80553 don't allow destroying non-destructible types

Backport from mainline
2017-04-28  Jonathan Wakely  <jwakely@redhat.com>

	PR libstdc++/80553
	* include/bits/stl_construct.h (_Destroy, _Destroy_n): Add static
	assertions to ensure type is destructible.
	(destroy_at, destroy, destroy_n): Move from stl_uninitialized.h.
	* include/bits/stl_uninitialized.h (destroy_at, destroy, destroy_n):
	Move to stl_construct.h.
	* testsuite/20_util/specialized_algorithms/memory_management_tools/
	destroy_neg.cc: New test.
	* testsuite/23_containers/vector/cons/destructible_neg.cc: New test.

Added:
    branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/specialized_algorithms/memory_management_tools/destroy_neg.cc
    branches/gcc-7-branch/libstdc++-v3/testsuite/23_containers/vector/cons/destructible_neg.cc
Modified:
    branches/gcc-7-branch/libstdc++-v3/ChangeLog
    branches/gcc-7-branch/libstdc++-v3/include/bits/stl_construct.h
    branches/gcc-7-branch/libstdc++-v3/include/bits/stl_uninitialized.h