15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
35a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
45a83710eSEric Fiselier //
55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
75a83710eSEric Fiselier //
85a83710eSEric Fiselier //===----------------------------------------------------------------------===//
95a83710eSEric Fiselier //
105a83710eSEric Fiselier // UNSUPPORTED: libcpp-has-no-threads
115a83710eSEric Fiselier 
125a83710eSEric Fiselier // NOTE: std::terminate is called so the destructors are not invoked and the
135a83710eSEric Fiselier // memory is not freed. This will cause ASAN to fail.
145a83710eSEric Fiselier // XFAIL: asan
155a83710eSEric Fiselier 
16*9a37bc91SEric Fiselier // NOTE: TSAN will report this test as leaking a thread.
17*9a37bc91SEric Fiselier // XFAIL: tsan
18*9a37bc91SEric Fiselier 
195a83710eSEric Fiselier // <thread>
205a83710eSEric Fiselier 
215a83710eSEric Fiselier // class thread
225a83710eSEric Fiselier 
235a83710eSEric Fiselier // thread& operator=(thread&& t);
245a83710eSEric Fiselier 
255a83710eSEric Fiselier #include <thread>
265a83710eSEric Fiselier #include <exception>
275a83710eSEric Fiselier #include <cstdlib>
285a83710eSEric Fiselier #include <cassert>
295a83710eSEric Fiselier 
305a83710eSEric Fiselier class G
315a83710eSEric Fiselier {
325a83710eSEric Fiselier     int alive_;
335a83710eSEric Fiselier public:
345a83710eSEric Fiselier     static int n_alive;
355a83710eSEric Fiselier     static bool op_run;
365a83710eSEric Fiselier 
375a83710eSEric Fiselier     G() : alive_(1) {++n_alive;}
385a83710eSEric Fiselier     G(const G& g) : alive_(g.alive_) {++n_alive;}
395a83710eSEric Fiselier     ~G() {alive_ = 0; --n_alive;}
405a83710eSEric Fiselier 
415a83710eSEric Fiselier     void operator()()
425a83710eSEric Fiselier     {
435a83710eSEric Fiselier         assert(alive_ == 1);
445a83710eSEric Fiselier         assert(n_alive >= 1);
455a83710eSEric Fiselier         op_run = true;
465a83710eSEric Fiselier     }
475a83710eSEric Fiselier 
485a83710eSEric Fiselier     void operator()(int i, double j)
495a83710eSEric Fiselier     {
505a83710eSEric Fiselier         assert(alive_ == 1);
515a83710eSEric Fiselier         assert(n_alive >= 1);
525a83710eSEric Fiselier         assert(i == 5);
535a83710eSEric Fiselier         assert(j == 5.5);
545a83710eSEric Fiselier         op_run = true;
555a83710eSEric Fiselier     }
565a83710eSEric Fiselier };
575a83710eSEric Fiselier 
585a83710eSEric Fiselier int G::n_alive = 0;
595a83710eSEric Fiselier bool G::op_run = false;
605a83710eSEric Fiselier 
615a83710eSEric Fiselier void f1()
625a83710eSEric Fiselier {
635a83710eSEric Fiselier     std::exit(0);
645a83710eSEric Fiselier }
655a83710eSEric Fiselier 
665a83710eSEric Fiselier int main()
675a83710eSEric Fiselier {
685a83710eSEric Fiselier     std::set_terminate(f1);
695a83710eSEric Fiselier     {
70*9a37bc91SEric Fiselier         G g;
71*9a37bc91SEric Fiselier         std::thread t0(g, 5, 5.5);
725a83710eSEric Fiselier         std::thread::id id = t0.get_id();
735a83710eSEric Fiselier         std::thread t1;
745a83710eSEric Fiselier         t0 = std::move(t1);
755a83710eSEric Fiselier         assert(false);
765a83710eSEric Fiselier     }
775a83710eSEric Fiselier }
78