Page MenuHomePhabricator
Differential D127418 Diff 439482 libcxx/test/libcxx/containers/views/views.span/debug.iterator-indexing.pass.cpp

Changeset View

Standalone View

View Options

libcxx/test/libcxx/containers/views/views.span/debug.iterator-indexing.pass.cpp

  • This file was added.
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17
// Make sure that std::span's iterators check for OOB accesses when the debug mode is enabled.
// REQUIRES: has-unix-headers
// UNSUPPORTED: !libcpp-has-debug-mode
MordanteUnsubmitted
Done
ReplyInline Actions
// REQUIRES: has-unix-headers
- // UNSUPPORTED: !libcpp-has-debug-mode, c++03
+ // UNSUPPORTED: !libcpp-has-debug-mode
#include <span>

c++03 is already unsupported at line 8.

Mordante: c++03 is already unsupported at line 8.
#include <span>
#include "check_assertion.h"
struct Foo {
int x;
};
int main(int, char**) {
// span<T>::iterator
{
Foo array[] = {{0}, {1}, {2}};
std::span<Foo> const span(array, 3);
MordanteUnsubmitted
Done
ReplyInline Actions
Foo array[] = {{0}, {1}, {2}};
- std::span<Foo> const span(array, 3);
+ const std::span<Foo> span(array, 3);
{
auto it = span.end();
Mordante:
{
auto it = span.end();
TEST_LIBCPP_ASSERT_FAILURE(*it, "__bounded_iter::operator*: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.end();
TEST_LIBCPP_ASSERT_FAILURE(it->x, "__bounded_iter::operator->: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.begin();
TEST_LIBCPP_ASSERT_FAILURE(it[3], "__bounded_iter::operator[]: Attempt to index an iterator out-of-range");
}
}
// span<T, N>::iterator
{
Foo array[] = {{0}, {1}, {2}};
std::span<Foo, 3> const span(array, 3);
{
auto it = span.end();
TEST_LIBCPP_ASSERT_FAILURE(*it, "__bounded_iter::operator*: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.end();
TEST_LIBCPP_ASSERT_FAILURE(it->x, "__bounded_iter::operator->: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.begin();
TEST_LIBCPP_ASSERT_FAILURE(it[3], "__bounded_iter::operator[]: Attempt to index an iterator out-of-range");
}
}
// span<T>::reverse_iterator
{
Foo array[] = {{0}, {1}, {2}};
std::span<Foo> const span(array, 3);
{
auto it = span.rend();
TEST_LIBCPP_ASSERT_FAILURE(*it, "__bounded_iter::operator*: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.rend();
TEST_LIBCPP_ASSERT_FAILURE(it->x, "__bounded_iter::operator->: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.rbegin();
TEST_LIBCPP_ASSERT_FAILURE(it[3], "__bounded_iter::operator*: Attempt to dereference an out-of-range iterator");
}
}
// span<T, N>::reverse_iterator
{
Foo array[] = {{0}, {1}, {2}};
std::span<Foo, 3> const span(array, 3);
{
auto it = span.rend();
TEST_LIBCPP_ASSERT_FAILURE(*it, "__bounded_iter::operator*: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.rend();
TEST_LIBCPP_ASSERT_FAILURE(it->x, "__bounded_iter::operator->: Attempt to dereference an out-of-range iterator");
}
{
auto it = span.rbegin();
TEST_LIBCPP_ASSERT_FAILURE(it[3], "__bounded_iter::operator*: Attempt to dereference an out-of-range iterator");
}
}
return 0;
}