1// { dg-do run { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* *-*-gnu* *-*-solaris* *-*-cygwin *-*-darwin* powerpc-ibm-aix* } }
2// { dg-options " -std=gnu++11 -pthread" { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* *-*-gnu* powerpc-ibm-aix* } }
3// { dg-options " -std=gnu++11 -pthreads" { target *-*-solaris* } }
4// { dg-options " -std=gnu++11 " { target *-*-cygwin *-*-darwin* } }
5// { dg-require-cstdint "" }
6// { dg-require-gthreads "" }
7
8// Copyright (C) 2014-2015 Free Software Foundation, Inc.
9//
10// This file is part of the GNU ISO C++ Library.  This library is free
11// software; you can redistribute it and/or modify it under the
12// terms of the GNU General Public License as published by the
13// Free Software Foundation; either version 3, or (at your option)
14// any later version.
15
16// This library is distributed in the hope that it will be useful,
17// but WITHOUT ANY WARRANTY; without even the implied warranty of
18// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
19// GNU General Public License for more details.
20
21// You should have received a copy of the GNU General Public License along
22// with this library; see the file COPYING3.  If not see
23// <http://www.gnu.org/licenses/>.
24
25#include <thread>
26#include <memory>
27#include <testsuite_hooks.h>
28
29struct leaddock
30{
31  ~leaddock();
32};
33
34std::shared_ptr<leaddock> global;
35
36leaddock::~leaddock()
37{
38  // If this destructor is called "inside" an atomic operation on global it
39  // will deadlock, so this checks that the atomic_store is done atomically.
40  auto copy = std::atomic_load(&global);
41  VERIFY( !copy );
42}
43
44void f()
45{
46  std::atomic_store(&global, std::make_shared<leaddock>());
47  std::atomic_store(&global, {});
48}
49
50int main()
51{
52  std::thread{ f }.join();
53}
54