//===----------------------------------------------------------------------===//
//
// 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

// constexpr iterator& operator++();
// constexpr iterator operator++(int);

#include <cassert>
#include <ranges>

#include "test_iterators.h"

template <class Iter>
constexpr void testOne() {
  constexpr auto make_subrange = []<std::size_t N>(int(&buffer)[N]) {
    return std::ranges::subrange<Iter>{Iter{buffer}, Iter{buffer + N}};
  };

  // next subrange does not reach the end
  {
    int buffer[] = {0, 1, 2, -1, 4, 5, -1, 7};
    auto input   = make_subrange(buffer);
    std::ranges::split_view sv(input, -1);
    using SplitIter = std::ranges::iterator_t<decltype(sv)>;

    // ++it
    {
      auto it = sv.begin();

      decltype(auto) it1 = ++it;
      static_assert(std::is_same_v<decltype(it1), SplitIter&>);
      assert(&it1 == &it);

      assert(base((*it).begin()) == buffer + 4);
      assert(base((*it).end()) == buffer + 6);

      ++it;
      assert(base((*it).begin()) == buffer + 7);
      assert(base((*it).end()) == buffer + 8);
    }

    // it++
    {
      auto it       = sv.begin();
      auto original = it;

      decltype(auto) it1 = it++;
      static_assert(std::is_same_v<decltype(it1), SplitIter>);
      assert(it1 == original);

      assert(base((*it).begin()) == buffer + 4);
      assert(base((*it).end()) == buffer + 6);

      it++;
      assert(base((*it).begin()) == buffer + 7);
      assert(base((*it).end()) == buffer + 8);
    }
  }

  // next's begin is the end
  {
    int buffer[] = {0, 1, 2};
    auto input   = make_subrange(buffer);
    std::ranges::split_view sv(input, -1);
    using SplitIter = std::ranges::iterator_t<decltype(sv)>;

    // ++it
    {
      auto it = sv.begin();

      decltype(auto) it1 = ++it; // trailing_empty is false
      static_assert(std::is_same_v<decltype(it1), SplitIter&>);
      assert(&it1 == &it);

      assert(it == sv.end());
    }

    // it++
    {
      auto it       = sv.begin();
      auto original = it;

      decltype(auto) it1 = it++; // trailing_empty is false
      static_assert(std::is_same_v<decltype(it1), SplitIter>);
      assert(it1 == original);

      assert(it == sv.end());
    }
  }

  // next's end is the end
  {
    int buffer[] = {0, 1, 2, -1};
    auto input   = make_subrange(buffer);
    std::ranges::split_view sv(input, -1);
    using SplitIter = std::ranges::iterator_t<decltype(sv)>;

    // ++it
    {
      auto it = sv.begin();

      decltype(auto) it1 = ++it; // trailing_empty is true
      static_assert(std::is_same_v<decltype(it1), SplitIter&>);
      assert(&it1 == &it);

      assert(it != sv.end());
      assert(base((*it).begin()) == buffer + 4);
      assert(base((*it).begin()) == buffer + 4);

      ++it;
      assert(it == sv.end());
    }

    // it++
    {
      auto it       = sv.begin();
      auto original = it;

      decltype(auto) it1 = it++; // trailing_empty is true
      static_assert(std::is_same_v<decltype(it1), SplitIter>);
      assert(it1 == original);

      assert(it != sv.end());

      assert(base((*it).begin()) == buffer + 4);
      assert(base((*it).begin()) == buffer + 4);

      it++;
      assert(it == sv.end());
    }
  }
}

constexpr bool test() {
  testOne<forward_iterator<int*>>();
  testOne<bidirectional_iterator<int*>>();
  testOne<random_access_iterator<int*>>();
  testOne<contiguous_iterator<int*>>();
  testOne<int*>();

  return true;
}

int main(int, char**) {
  test();
  static_assert(test());

  return 0;
}