blob: cf4c43d1a90d2b2123f2f4a79cb5036f4e83af84 [file] [log] [blame]
// { dg-do run }
#include "../coro.h"
struct pt_b
{
std::suspend_never initial_suspend() const noexcept { return {}; }
std::suspend_never final_suspend() const noexcept { return {}; }
void unhandled_exception() const noexcept {}
};
int called_rv_op = 0;
int v;
struct pt_c : pt_b
{
struct rv
{
void operator ()(int x){
PRINTF("call to operator ret val with %d\n", x);
called_rv_op++;
v = x;
// int val () { return x; }
}
};
using handle_t = std::coroutine_handle<pt_c>;
auto get_return_object() noexcept { return handle_t::from_promise(*this); }
rv return_value;
};
int called_lambda = 0;
struct pt_d : pt_b
{
using handle_t = std::coroutine_handle<pt_d>;
auto get_return_object() noexcept { return handle_t::from_promise(*this); }
static constexpr auto return_value
= [] (int x) { PRINTF("call to lambda ret val %d\n", x); called_lambda++; v = x;};
};
template <> struct std::coroutine_traits<pt_c::handle_t>
{ using promise_type = pt_c; };
static pt_c::handle_t foo ()
{
co_return 5;
}
template <> struct std::coroutine_traits<pt_d::handle_t>
{ using promise_type = pt_d; };
static pt_d::handle_t bar ()
{
co_return 3;
}
int main ()
{
/* These 'coroutines' run to completion imediately, like a regular fn. */
foo ();
if (v != 5)
{
PRINT ("foo failed to set v");
abort ();
}
bar ();
if (v != 3)
{
PRINT ("bar failed to set v");
abort ();
}
if (called_rv_op != 1 || called_lambda != 1)
{
PRINT ("Failed to call one of the return_value cases");
abort ();
}
}