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 // <thread>
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // class thread
155a83710eSEric Fiselier 
165a83710eSEric Fiselier // void join();
175a83710eSEric Fiselier 
185a83710eSEric Fiselier #include <thread>
195a83710eSEric Fiselier #include <new>
205a83710eSEric Fiselier #include <cstdlib>
215a83710eSEric Fiselier #include <cassert>
22*4efa1ad5SEric Fiselier #include <system_error>
23*4efa1ad5SEric Fiselier 
24*4efa1ad5SEric Fiselier #include "test_macros.h"
255a83710eSEric Fiselier 
265a83710eSEric Fiselier class G
275a83710eSEric Fiselier {
285a83710eSEric Fiselier     int alive_;
295a83710eSEric Fiselier public:
305a83710eSEric Fiselier     static int n_alive;
315a83710eSEric Fiselier     static bool op_run;
325a83710eSEric Fiselier 
335a83710eSEric Fiselier     G() : alive_(1) {++n_alive;}
345a83710eSEric Fiselier     G(const G& g) : alive_(g.alive_) {++n_alive;}
355a83710eSEric Fiselier     ~G() {alive_ = 0; --n_alive;}
365a83710eSEric Fiselier 
375a83710eSEric Fiselier     void operator()()
385a83710eSEric Fiselier     {
395a83710eSEric Fiselier         assert(alive_ == 1);
405a83710eSEric Fiselier         assert(n_alive >= 1);
415a83710eSEric Fiselier         op_run = true;
425a83710eSEric Fiselier     }
435a83710eSEric Fiselier };
445a83710eSEric Fiselier 
455a83710eSEric Fiselier int G::n_alive = 0;
465a83710eSEric Fiselier bool G::op_run = false;
475a83710eSEric Fiselier 
48*4efa1ad5SEric Fiselier void foo() {}
49*4efa1ad5SEric Fiselier 
505a83710eSEric Fiselier int main()
515a83710eSEric Fiselier {
525a83710eSEric Fiselier     {
539a37bc91SEric Fiselier         G g;
549a37bc91SEric Fiselier         std::thread t0(g);
555a83710eSEric Fiselier         assert(t0.joinable());
565a83710eSEric Fiselier         t0.join();
575a83710eSEric Fiselier         assert(!t0.joinable());
58*4efa1ad5SEric Fiselier #ifndef TEST_HAS_NO_EXCEPTIONS
59*4efa1ad5SEric Fiselier         try {
60*4efa1ad5SEric Fiselier             t0.join();
61*4efa1ad5SEric Fiselier             assert(false);
62*4efa1ad5SEric Fiselier         } catch (std::system_error const&) {
635a83710eSEric Fiselier         }
64*4efa1ad5SEric Fiselier #endif
65*4efa1ad5SEric Fiselier     }
66*4efa1ad5SEric Fiselier #ifndef TEST_HAS_NO_EXCEPTIONS
67*4efa1ad5SEric Fiselier     {
68*4efa1ad5SEric Fiselier         std::thread t0(foo);
69*4efa1ad5SEric Fiselier         t0.detach();
70*4efa1ad5SEric Fiselier         try {
71*4efa1ad5SEric Fiselier             t0.join();
72*4efa1ad5SEric Fiselier             assert(false);
73*4efa1ad5SEric Fiselier         } catch (std::system_error const&) {
74*4efa1ad5SEric Fiselier         }
75*4efa1ad5SEric Fiselier     }
76*4efa1ad5SEric Fiselier #endif
775a83710eSEric Fiselier }
78