https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80553
--- Comment #10 from Jonathan Wakely <redi at gcc dot 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 <jwak...@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
