]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/any/assign/self.cc
1 // Copyright (C) 2015-2024 Free Software Foundation, Inc.
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)
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.
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/>.
18 // { dg-do run { target c++17 } }
22 #include <testsuite_hooks.h>
24 std::set
<const void*> live_objects
;
27 A() { live_objects
.insert(this); }
28 ~A() { live_objects
.erase(this); }
29 A(const A
& a
) { VERIFY(live_objects
.count(&a
)); live_objects
.insert(this); }
39 VERIFY( !a
.has_value() );
43 VERIFY( a
.has_value() );
46 VERIFY( live_objects
.empty() );
59 std::swap(x
, x
); // results in "self-move-assignment" of X::a
60 VERIFY( !x
.a
.has_value() );
63 std::swap(x
, x
); // results in "self-move-assignment" of X::a
64 VERIFY( x
.a
.has_value() );
67 VERIFY( live_objects
.empty() );
77 VERIFY( !a
.has_value() );
81 VERIFY( a
.has_value() );
84 VERIFY( live_objects
.empty() );