Skip to content

Fix ranges test infrastructure #979

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
CaseyCarter merged 1 commit into from
Jul 7, 2020
Merged

Fix ranges test infrastructure #979

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions tests/std/include/range_algorithm_support.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -637,6 +637,7 @@ struct with_contiguous_ranges {
template <class... Args>
static constexpr void call() {
using namespace test;
using test::range;

// Ditto always Eq; !IsSized && SizedSentinel is uninteresting (ranges::size still works), as is
// !IsSized && IsCommon. contiguous also implies !Proxy.
Expand All @@ -658,6 +659,7 @@ struct with_random_ranges {
template <class... Args>
static constexpr void call() {
using namespace test;
using test::range;

// Ditto always Eq; !IsSized && SizedSentinel is uninteresting (ranges::size works either way), as is
// !IsSized && IsCommon.
Expand Down Expand Up @@ -691,6 +693,7 @@ struct with_bidirectional_ranges {
template <class... Args>
static constexpr void call() {
using namespace test;
using test::range;

// Ditto always Eq; !IsSized && Diff is uninteresting (ranges::size still works).
Continuation::template call<Args...,
Expand Down Expand Up @@ -727,6 +730,7 @@ struct with_forward_ranges {
template <class... Args>
static constexpr void call() {
using namespace test;
using test::range;

// forward always has Eq; !IsSized && Diff is uninteresting (sized_range is sized_range).
Continuation::template call<Args...,
Expand Down Expand Up @@ -763,6 +767,7 @@ struct with_input_ranges {
template <class... Args>
static constexpr void call() {
using namespace test;
using test::range;

// For all ranges, IsCommon implies Eq.
// For single-pass ranges, Eq is uninteresting without IsCommon (there's only one valid iterator
Expand Down Expand Up @@ -812,6 +817,7 @@ struct with_output_ranges {
template <class... Args>
static constexpr void call() {
using namespace test;
using test::range;

// For all ranges, IsCommon implies Eq.
// For single-pass ranges, Eq is uninteresting without IsCommon (there's only one valid iterator
Expand Down Expand Up @@ -861,6 +867,7 @@ struct with_input_iterators {
template <class... Args>
static constexpr void call() {
using namespace test;
using test::iterator;

// IsSized and Eq are not significant for "lone" single-pass iterators, so we can ignore them here.
Continuation::template call<Args...,
Expand Down