public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/94701] New: coroutines: Wrong code for structured bindings.
@ 2020-04-21 20:14 iains at gcc dot gnu.org
  2020-04-21 20:15 ` [Bug c++/94701] " iains at gcc dot gnu.org
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: iains at gcc dot gnu.org @ 2020-04-21 20:14 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94701

            Bug ID: 94701
           Summary: coroutines: Wrong code for structured bindings.
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: iains at gcc dot gnu.org
  Target Milestone: ---

Created attachment 48330
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48330&action=edit
patch under test

As reported by Michał Dominiak, the following code gets an incorrect answer -
this is because we fail to check for DECL_VALUE_EXPR in the handling for local
vars.

struct promise;

struct future
{
  using promise_type = promise;
};

struct promise
{
  template<typename... Args>
  promise (Args&... args) {}

  coro::suspend_never initial_suspend() { return {}; }
  coro::suspend_never final_suspend() { return {}; }

  future get_return_object() { return {}; }

  void return_value(int) {}
  void unhandled_exception() {}
};

#include <cassert>

struct pair
{
  int i;
};

pair 
something ()
{
  return { 1 };
}

future 
my_coro ()
{   
  auto ret = something ();
  assert(ret.i == 1);

  auto [ i ] = something ();
  assert(i == 1);

  co_return 1;
}

int main ()
{
  my_coro ();
}

^ permalink raw reply	[flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-04-27 23:46 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-21 20:14 [Bug c++/94701] New: coroutines: Wrong code for structured bindings iains at gcc dot gnu.org
2020-04-21 20:15 ` [Bug c++/94701] " iains at gcc dot gnu.org
2020-04-27 22:58 ` cvs-commit at gcc dot gnu.org
2020-04-27 23:46 ` iains at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).