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//===----------------------------------------------------------------------===//
8
9// UNSUPPORTED: c++03, c++11, c++14
10// UNSUPPORTED: no-exceptions
11// `check_assertion.h` requires Unix headers and regex support.
12// UNSUPPORTED: !has-unix-headers, no-localization
13
14// UNSUPPORTED: libcpp-has-no-incomplete-pstl
15
16// check that std::merge(ExecutionPolicy) terminates on user-thrown exceptions
17
18#include <algorithm>
19
20#include "check_assertion.h"
21#include "test_execution_policies.h"
22#include "test_iterators.h"
23
24int main(int, char**) {
25 test_execution_policies([](auto&& policy) {
26 EXPECT_STD_TERMINATE([&] {
27 int a[] = {1, 2};
28 std::merge(policy, std::begin(arr&: a), std::end(arr&: a), std::begin(arr&: a), std::end(arr&: a), std::begin(arr&: a), [](int, int) -> bool {
29 throw int{};
30 });
31 });
32 EXPECT_STD_TERMINATE([&] {
33 try {
34 int a[] = {1, 2};
35 (void)std::merge(
36 policy,
37 util::throw_on_move_iterator(std::begin(a), 1),
38 util::throw_on_move_iterator(std::end(a), 1),
39 util::throw_on_move_iterator(std::begin(a), 1),
40 util::throw_on_move_iterator(std::end(a), 1),
41 util::throw_on_move_iterator(std::begin(a), 1),
42 std::less{});
43 } catch (const util::iterator_error&) {
44 assert(false);
45 }
46 std::terminate(); // make the test pass in case the algorithm didn't move the iterator
47 });
48 });
49
50 return 0;
51}
52

source code of libcxx/test/std/algorithms/alg.sorting/alg.merge/pstl.exception_handling.pass.cpp