2010-05-11 21:42:16 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2010-05-11 23:36:01 +02:00
|
|
|
// The LLVM Compiler Infrastructure
|
2010-05-11 21:42:16 +02:00
|
|
|
//
|
2010-11-16 23:09:02 +01:00
|
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
|
|
// Source Licenses. See LICENSE.TXT for details.
|
2010-05-11 21:42:16 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
// <future>
|
|
|
|
|
|
|
|
// enum class launch
|
|
|
|
// {
|
2010-11-23 19:33:54 +01:00
|
|
|
// async = 1,
|
|
|
|
// deferred = 2,
|
|
|
|
// any = async | deferred
|
2010-05-11 21:42:16 +02:00
|
|
|
// };
|
|
|
|
|
|
|
|
#include <future>
|
2013-06-29 20:38:17 +02:00
|
|
|
#include <cassert>
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
int main()
|
|
|
|
{
|
2013-06-29 20:38:17 +02:00
|
|
|
#ifdef _LIBCPP_HAS_NO_STRONG_ENUMS
|
2011-12-02 20:36:40 +01:00
|
|
|
static_assert(static_cast<int>(std::launch::any) ==
|
|
|
|
(static_cast<int>(std::launch::async) | static_cast<int>(std::launch::deferred)), "");
|
2013-06-29 20:38:17 +02:00
|
|
|
#else
|
|
|
|
static_assert(std::launch::any == (std::launch::async | std::launch::deferred), "");
|
|
|
|
static_assert(std::launch(0) == (std::launch::async & std::launch::deferred), "");
|
|
|
|
static_assert(std::launch::any == (std::launch::async ^ std::launch::deferred), "");
|
2013-07-02 20:01:41 +02:00
|
|
|
static_assert(std::launch::deferred == ~std::launch::async, "");
|
2013-06-29 20:38:17 +02:00
|
|
|
std::launch x = std::launch::async;
|
|
|
|
x &= std::launch::deferred;
|
|
|
|
assert(x == std::launch(0));
|
|
|
|
x = std::launch::async;
|
|
|
|
x |= std::launch::deferred;
|
|
|
|
assert(x == std::launch::any);
|
|
|
|
x ^= std::launch::deferred;
|
|
|
|
assert(x == std::launch::async);
|
|
|
|
#endif
|
2011-12-02 20:36:40 +01:00
|
|
|
static_assert(static_cast<int>(std::launch::async) == 1, "");
|
|
|
|
static_assert(static_cast<int>(std::launch::deferred) == 2, "");
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|