blob: b1a06f284958b90b67c0846c6d3fae46fae5980d [file] [log] [blame]
// { dg-do run }
// Check that "co_return (void)expression;" evaluates expression once.
#include "../coro.h"
// boiler-plate for tests of codegen
#define RETURN_VOID
#include "../coro1-ret-int-yield-int.h"
int gX = 1;
__attribute__((__noinline__))
int foo (void) { PRINT ("called the int fn foo"); gX +=1 ; return gX; }
struct coro1
f () noexcept
{
PRINT ("coro1: about to return");
co_return (void)foo();
}
int main ()
{
PRINT ("main: create coro1");
struct coro1 x = f ();
PRINT ("main: got coro1 - resuming");
if (x.handle.done())
abort();
x.handle.resume();
// We want to check that foo() was called exactly once.
if (gX != 2)
{
PRINT ("main: failed check for a single call to foo()");
abort ();
}
PRINT ("main: after resume");
if (!x.handle.done())
{
PRINT ("main: apparently not done...");
abort ();
}
PRINT ("main: returning");
return 0;
}