[analyzer][Z3] Restore the original timeout of 15s (#118291)
[llvm-project.git] / libcxx / test / std / utilities / utility / mem.res / mem.res.aliases / header_set_synop2.pass.cpp
blobce97e178e9bbdb1429b3baa670d0da7f4bb3a35c
1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
9 // UNSUPPORTED: c++03, c++11, c++14
10 // TODO: Change to XFAIL once https://github.com/llvm/llvm-project/issues/40340 is fixed
11 // UNSUPPORTED: availability-pmr-missing
13 // <set>
15 // namespace std::pmr {
17 // typedef ... set
19 // } // namespace std::pmr
21 #include <set>
23 int main(int, char**) {
25 // Check that std::pmr::set is usable without <memory_resource>.
26 std::pmr::set<int> s;
27 std::pmr::multiset<int> ms;
30 return 0;