Update copyright years.

[thirdparty/gcc.git] / libstdc++-v3 / testsuite / 24_iterators / range_generators / copy.cc

// { dg-do run { target c++23 } }
// Copyright (C) 2023-2024 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// Under Section 7 of GPL version 3, you are granted additional
// permissions described in the GCC Runtime Library Exception, version
// 3.1, as published by the Free Software Foundation.

// You should have received a copy of the GNU General Public License and
// a copy of the GCC Runtime Library Exception along with this program;
// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
// <http://www.gnu.org/licenses/>.

#include <testsuite_hooks.h>
#include <generator>

template<unsigned MaxCopies>
struct copy_max
{
  int copy = 0;

  copy_max()
  {}

  copy_max(const copy_max& o)
    : copy {o.copy + 1}
  {
    VERIFY(copy <= MaxCopies);
  }

  copy_max&
  operator=(const copy_max& o)
  {
    copy = o.copy + 1;
    VERIFY(copy <= MaxCopies);
    return *this;
  }

  copy_max(copy_max&& o)
  {
    std::swap(o.copy, this->copy);
  }

  copy_max&
  operator=(copy_max&& o)
  {
    std::swap(o.copy, this->copy);
    return *this;
  }
};

template<typename Ref>
std::generator<Ref>
foo()
{
  co_yield {};
}

int
main()
{
  static_assert(!std::copy_constructible<std::generator<int>>);
  {
    auto gen = foo<const copy_max<1>&>();
    auto i = gen.begin();
    *i;
    *i;
    auto is = *i;
    VERIFY(is.copy > 0);
  }

  {
    auto gen2 = foo<copy_max<0>&&>();
    auto i = gen2.begin();
    *i;
    *i;
    auto is = *i;
  }

  {
    auto gen = foo<copy_max<0>>(); // should be same as case 2
    auto i = gen.begin();
    *i;
    *i;
    auto is = *i;
  }
}