On Wed, Apr 20, 2022 at 4:19 AM Jason Merrill via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
>
> On 4/18/22 10:03, Iain Sandoe wrote:
> > Whether it was intended or not, it is possible to define a coroutine promise
> > with multiple return_value() methods [which need not even have the same 
> > type].
> >
> > We were not accounting for this possibility in the check to see whether both
> > return_value and return_void are specifier (which is prohibited by the
> > standard).  Fixed thus and provided an adjusted diagnostic for the case that
> > multiple return_value() methods are present.
> >
> > tested on x86_64-darwin, OK for mainline? / Backports? (when?)
> > thanks,
> > Iain
> >
> > Signed-off-by: Iain Sandoe <i...@sandoe.co.uk>
> >
> >       PR c++/105301
> >
> > gcc/cp/ChangeLog:
> >
> >       * coroutines.cc (coro_promise_type_found_p): Account for possible
> >       mutliple overloads of the promise return_value() method.
> >
> > gcc/testsuite/ChangeLog:
> >
> >       * g++.dg/coroutines/pr105301.C: New test.
> > ---
> >   gcc/cp/coroutines.cc                       | 10 ++++-
> >   gcc/testsuite/g++.dg/coroutines/pr105301.C | 49 ++++++++++++++++++++++
> >   2 files changed, 57 insertions(+), 2 deletions(-)
> >   create mode 100644 gcc/testsuite/g++.dg/coroutines/pr105301.C
> >
> > diff --git a/gcc/cp/coroutines.cc b/gcc/cp/coroutines.cc
> > index dcc2284171b..d2a765cac11 100644
> > --- a/gcc/cp/coroutines.cc
> > +++ b/gcc/cp/coroutines.cc
> > @@ -513,8 +513,14 @@ coro_promise_type_found_p (tree fndecl, location_t loc)
> >                     coro_info->promise_type);
> >         inform (DECL_SOURCE_LOCATION (BASELINK_FUNCTIONS (has_ret_void)),
> >                 "%<return_void%> declared here");
> > -       inform (DECL_SOURCE_LOCATION (BASELINK_FUNCTIONS (has_ret_val)),
> > -               "%<return_value%> declared here");
> > +       has_ret_val = BASELINK_FUNCTIONS (has_ret_val);
> > +       const char *message = "%<return_value%> declared here";
> > +       if (TREE_CODE (has_ret_val) == OVERLOAD)
> > +         {
> > +           has_ret_val = OVL_FIRST (has_ret_val);
> > +           message = "%<return_value%> first declared here";
> > +         }
>
> You could also use get_first_fn, but the patch is OK as is.  I'm
> inclined to leave backports in coroutines.cc to your discretion, you
> probably have a better idea of how important they are.

Likewise.  Please wait until after the 11.3 release.

Richard.

> > +       inform (DECL_SOURCE_LOCATION (has_ret_val), message);
> >         coro_info->coro_co_return_error_emitted = true;
> >         return false;
> >       }
> > diff --git a/gcc/testsuite/g++.dg/coroutines/pr105301.C 
> > b/gcc/testsuite/g++.dg/coroutines/pr105301.C
> > new file mode 100644
> > index 00000000000..33a0b03cf5d
> > --- /dev/null
> > +++ b/gcc/testsuite/g++.dg/coroutines/pr105301.C
> > @@ -0,0 +1,49 @@
> > +// { dg-additional-options "-fsyntax-only" }
> > +namespace std {
> > +template <class T, class = void>
> > +struct traits_sfinae_base {};
> > +
> > +template <class Ret, class... Args>
> > +struct coroutine_traits : public traits_sfinae_base<Ret> {};
> > +}
> > +
> > +template<typename Promise> struct coro {};
> > +template <typename Promise, typename... Ps>
> > +struct std::coroutine_traits<coro<Promise>, Ps...> {
> > +  using promise_type = Promise;
> > +};
> > +
> > +struct awaitable {
> > +  bool await_ready() noexcept;
> > +  template <typename F>
> > +  void await_suspend(F) noexcept;
> > +  void await_resume() noexcept;
> > +} a;
> > +
> > +struct suspend_always {
> > +  bool await_ready() noexcept { return false; }
> > +  template <typename F>
> > +  void await_suspend(F) noexcept;
> > +  void await_resume() noexcept {}
> > +};
> > +
> > +namespace std {
> > +template <class PromiseType = void>
> > +struct coroutine_handle {};
> > +}
> > +
> > +struct bad_promise_6 {
> > +  coro<bad_promise_6> get_return_object();
> > +  suspend_always initial_suspend();
> > +  suspend_always final_suspend() noexcept;
> > +  void unhandled_exception();
> > +  void return_void();
> > +  void return_value(int) const;
> > +  void return_value(int);
> > +};
> > +
> > +coro<bad_promise_6>
> > +bad_implicit_return() // { dg-error {.aka 'bad_promise_6'. declares both 
> > 'return_value' and 'return_void'} }
> > +{
> > +  co_await a;
> > +}
>

Reply via email to