329c0f891a
Clang defines the __cpp_impl_destroying_delete macro unconditionally, so that the feature is supported whenever the library type is defined. This is incompatible with the current definition in libstdc++ because we use constexpr and inline variables, which will give an error for older -std modes. This patch defines the destroying_delete_t type and destroying_delete variable independently of the __cpp_impl_destroying_delete macro, but only for C++2a (because the names aren't reserved for previous standards). The __cpp_lib_destroying_delete macro is only defined when both the library type and compiler macro are defined (i.e. when the type can actually be used as intended). PR libstdc++/89345 * include/std/version [__cpp_impl_destroying_delete] (__cpp_lib_destroying_delete): Only define for C++2a and later. * libsupc++/new [__cpp_impl_destroying_delete] (__cpp_lib_destroying_delete): Likewise. (destroying_delete_t, destroying_delete): Likewise, but define even when __cpp_impl_destroying_delete is not defined. * testsuite/18_support/destroying_delete.cc: New test. From-SVN: r268856
59 lines
1.4 KiB
C++
59 lines
1.4 KiB
C++
// Copyright (C) 2019 Free Software Foundation, Inc.
|
|
//
|
|
// This file is part of the GNU ISO C++ Library. This library is free
|
|
// software; you can redistribute it and/or modify it under the
|
|
// terms of the GNU General Public License as published by the
|
|
// Free Software Foundation; either version 3, or (at your option)
|
|
// any later version.
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
|
|
// You should have received a copy of the GNU General Public License along
|
|
// with this library; see the file COPYING3. If not see
|
|
// <http://www.gnu.org/licenses/>.
|
|
|
|
// { dg-options "-std=gnu++2a" }
|
|
// { dg-do run { target c++2a } }
|
|
|
|
#include <new>
|
|
#include <testsuite_hooks.h>
|
|
|
|
#ifndef __cpp_lib_destroying_delete
|
|
# error "Feature-test macro for destroying_delete missing"
|
|
#elif __cpp_lib_destroying_delete != 201806L
|
|
# error "Feature-test macro for destroying_delete has wrong value"
|
|
#endif
|
|
|
|
const std::destroying_delete_t d{};
|
|
static_assert(std::is_same_v<decltype(d), decltype(std::destroying_delete)>);
|
|
|
|
struct X
|
|
{
|
|
static bool called;
|
|
|
|
void operator delete(X* p, std::destroying_delete_t)
|
|
{
|
|
called = true;
|
|
p->~X();
|
|
::operator delete(p);
|
|
}
|
|
};
|
|
|
|
bool X::called = false;
|
|
|
|
void
|
|
test01()
|
|
{
|
|
X* x = new X;
|
|
delete x;
|
|
VERIFY( X::called );
|
|
}
|
|
|
|
int main()
|
|
{
|
|
test01();
|
|
}
|