154fa9ecdSOlivier Giroux //===----------------------------------------------------------------------===//
254fa9ecdSOlivier Giroux //
354fa9ecdSOlivier Giroux // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
454fa9ecdSOlivier Giroux // See https://llvm.org/LICENSE.txt for license information.
554fa9ecdSOlivier Giroux // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
654fa9ecdSOlivier Giroux //
754fa9ecdSOlivier Giroux //===----------------------------------------------------------------------===//
854fa9ecdSOlivier Giroux //
9*a7f9895cSLouis Dionne // UNSUPPORTED: no-threads
1031cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11
1154fa9ecdSOlivier Giroux 
1254fa9ecdSOlivier Giroux // <semaphore>
1354fa9ecdSOlivier Giroux 
1454fa9ecdSOlivier Giroux #include <semaphore>
1554fa9ecdSOlivier Giroux #include <thread>
1654fa9ecdSOlivier Giroux 
1754fa9ecdSOlivier Giroux #include "test_macros.h"
1854fa9ecdSOlivier Giroux 
main(int,char **)1954fa9ecdSOlivier Giroux int main(int, char**)
2054fa9ecdSOlivier Giroux {
21c9af0e61SArthur O'Dwyer   static_assert(std::counting_semaphore<>::max() >= 1, "");
2254fa9ecdSOlivier Giroux   static_assert(std::counting_semaphore<1>::max() >= 1, "");
23c9af0e61SArthur O'Dwyer   static_assert(std::counting_semaphore<std::numeric_limits<int>::max()>::max() >= std::numeric_limits<int>::max(), "");
24c9af0e61SArthur O'Dwyer   static_assert(std::counting_semaphore<std::numeric_limits<ptrdiff_t>::max()>::max() == std::numeric_limits<ptrdiff_t>::max(), "");
2554fa9ecdSOlivier Giroux   return 0;
2654fa9ecdSOlivier Giroux }
27