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 advance(non-bidi 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::advance(bidi, 1); // should work fine
28 std::advance(bidi, 0); // should work fine
29 std::advance(bidi, -1); // should work fine
30
31 forward_iterator<int *> it(a+1);
32 std::advance(it, 1); // should work fine
33 std::advance(it, 0); // should work fine
34 TEST_LIBCPP_ASSERT_FAILURE(std::advance(it, -1), "Attempt to advance(it, n) with negative n on a non-bidirectional iterator");
35
36 return 0;
37}
38

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