1*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
2*5a83710eSEric Fiselier //
3*5a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
4*5a83710eSEric Fiselier //
5*5a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
6*5a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
7*5a83710eSEric Fiselier //
8*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
9*5a83710eSEric Fiselier //
10*5a83710eSEric Fiselier // UNSUPPORTED: libcpp-has-no-threads
11*5a83710eSEric Fiselier 
12*5a83710eSEric Fiselier // NOTE: std::terminate is called so the destructors are not invoked and the
13*5a83710eSEric Fiselier // memory is not freed. This will cause ASAN to fail.
14*5a83710eSEric Fiselier // XFAIL: asan
15*5a83710eSEric Fiselier 
16*5a83710eSEric Fiselier // <thread>
17*5a83710eSEric Fiselier 
18*5a83710eSEric Fiselier // class thread
19*5a83710eSEric Fiselier 
20*5a83710eSEric Fiselier // thread& operator=(thread&& t);
21*5a83710eSEric Fiselier 
22*5a83710eSEric Fiselier #include <thread>
23*5a83710eSEric Fiselier #include <exception>
24*5a83710eSEric Fiselier #include <cstdlib>
25*5a83710eSEric Fiselier #include <cassert>
26*5a83710eSEric Fiselier 
27*5a83710eSEric Fiselier class G
28*5a83710eSEric Fiselier {
29*5a83710eSEric Fiselier     int alive_;
30*5a83710eSEric Fiselier public:
31*5a83710eSEric Fiselier     static int n_alive;
32*5a83710eSEric Fiselier     static bool op_run;
33*5a83710eSEric Fiselier 
34*5a83710eSEric Fiselier     G() : alive_(1) {++n_alive;}
35*5a83710eSEric Fiselier     G(const G& g) : alive_(g.alive_) {++n_alive;}
36*5a83710eSEric Fiselier     ~G() {alive_ = 0; --n_alive;}
37*5a83710eSEric Fiselier 
38*5a83710eSEric Fiselier     void operator()()
39*5a83710eSEric Fiselier     {
40*5a83710eSEric Fiselier         assert(alive_ == 1);
41*5a83710eSEric Fiselier         assert(n_alive >= 1);
42*5a83710eSEric Fiselier         op_run = true;
43*5a83710eSEric Fiselier     }
44*5a83710eSEric Fiselier 
45*5a83710eSEric Fiselier     void operator()(int i, double j)
46*5a83710eSEric Fiselier     {
47*5a83710eSEric Fiselier         assert(alive_ == 1);
48*5a83710eSEric Fiselier         assert(n_alive >= 1);
49*5a83710eSEric Fiselier         assert(i == 5);
50*5a83710eSEric Fiselier         assert(j == 5.5);
51*5a83710eSEric Fiselier         op_run = true;
52*5a83710eSEric Fiselier     }
53*5a83710eSEric Fiselier };
54*5a83710eSEric Fiselier 
55*5a83710eSEric Fiselier int G::n_alive = 0;
56*5a83710eSEric Fiselier bool G::op_run = false;
57*5a83710eSEric Fiselier 
58*5a83710eSEric Fiselier void f1()
59*5a83710eSEric Fiselier {
60*5a83710eSEric Fiselier     std::exit(0);
61*5a83710eSEric Fiselier }
62*5a83710eSEric Fiselier 
63*5a83710eSEric Fiselier int main()
64*5a83710eSEric Fiselier {
65*5a83710eSEric Fiselier #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
66*5a83710eSEric Fiselier     std::set_terminate(f1);
67*5a83710eSEric Fiselier     {
68*5a83710eSEric Fiselier         std::thread t0(G(), 5, 5.5);
69*5a83710eSEric Fiselier         std::thread::id id = t0.get_id();
70*5a83710eSEric Fiselier         std::thread t1;
71*5a83710eSEric Fiselier         t0 = std::move(t1);
72*5a83710eSEric Fiselier         assert(false);
73*5a83710eSEric Fiselier     }
74*5a83710eSEric Fiselier #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
75*5a83710eSEric Fiselier }
76