]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/testsuite/20_util/specialized_algorithms/construct_at/95788.cc
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 20_util / specialized_algorithms / construct_at / 95788.cc
CommitLineData
a945c346 1// Copyright (C) 2020-2024 Free Software Foundation, Inc.
9158a4d2
PP
2//
3// This file is part of the GNU ISO C++ Library. This library is free
4// software; you can redistribute it and/or modify it under the
5// terms of the GNU General Public License as published by the
6// Free Software Foundation; either version 3, or (at your option)
7// any later version.
8
9// This library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12// GNU General Public License for more details.
13
14// You should have received a copy of the GNU General Public License along
15// with this library; see the file COPYING3. If not see
16// <http://www.gnu.org/licenses/>.
17
7dbb6913 18// { dg-do compile { target c++20 } }
7cc9022f
AA
19// FIXME [!HOSTED]: avoidable std::allocator usage
20// { dg-require-effective-target hosted }
9158a4d2
PP
21
22#include <memory>
23
24constexpr bool
25test01()
26{
27 const int sz{1};
28 int* data{std::allocator<int>{}.allocate(sz)};
29 static_assert(noexcept(std::ranges::construct_at(data, 42)));
30 std::ranges::construct_at(data, 42);
31 if (*data != 42)
32 return false;
33 std::ranges::destroy_at(data);
34 std::allocator<int>{}.deallocate(data, sz);
35 return true;
36}
37
38static_assert(test01());
39
40struct S { S(); };
41S* p;
42static_assert(!noexcept(std::ranges::construct_at(p)));