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// REQUIRES: has-unix-headers
10// UNSUPPORTED: c++03
11// REQUIRES: libcpp-hardening-mode={{extensive|debug}}
12// XFAIL: libcpp-hardening-mode=debug && availability-verbose_abort-missing
13
14// <list>
15
16// Call prev(forward_iterator, -1)
17
18#include <iterator>
19
20#include "check_assertion.h"
21#include "test_iterators.h"
22
23int main(int, char**) {
24 int a[] = {1, 2, 3};
25
26 bidirectional_iterator<int *> bidi(a+1);
27 std::prev(bidi, -1); // should work fine
28 std::prev(bidi, 0); // should work fine
29 std::prev(bidi, 1); // should work fine
30
31 forward_iterator<int *> it(a+1);
32 std::prev(it, -1); // should work fine
33 std::prev(it, 0); // should work fine
34 TEST_LIBCPP_ASSERT_FAILURE(std::prev(it, 1), "Attempt to prev(it, n) with a positive n on a non-bidirectional iterator");
35
36 return 0;
37}
38

source code of libcxx/test/libcxx/iterators/assert.prev.pass.cpp