[Bug c++/106489] New: Valid Code involving assignment rejected by gcc

[Bug c++/106489] New: Valid Code involving assignment rejected by gcc

[jlame646 at gmail dot com]

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

            Bug ID: 106489
           Summary: Valid Code involving assignment rejected by gcc
           Product: gcc
           Version: 11.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jlame646 at gmail dot com
  Target Milestone: ---

The following valid code is rejected by gcc. https://godbolt.org/z/z9MKfz3e8

```
class A{
// implicitly generated assignment operations
};

int main() {
// ... 
A& a = A{} = A{};
}
```
Error says:

```
<source>:7:12: error: cannot bind non-const lvalue reference of type 'A&' to an
rvalue of type 'A'
    7 | A& a = A{} = A{};
      |        ~~~~^~~~~
```

[Bug c++/106489] Valid Code involving assignment rejected by gcc

[jlame646 at gmail dot com]

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

Jason Liam <jlame646 at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Jason Liam <jlame646 at gmail dot com> ---
This has already been fixed in GCC 11.3 Demo: https://godbolt.org/z/Wo95GadsK

[Bug c++/106489] Valid Code involving assignment rejected by gcc

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |DUPLICATE

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Fixed by r12-6862

    c++: assignment to temporary [PR59950]

    Given build_this of a TARGET_EXPR, cp_build_fold_indirect_ref returns the
    TARGET_EXPR.  But that's the wrong value category for the result of the
    defaulted class assignment operator, which returns an lvalue, so we need to
    actually build the INDIRECT_REF.

            PR c++/59950

    gcc/cp/ChangeLog:

            * call.cc (build_over_call): Use cp_build_indirect_ref.

    gcc/testsuite/ChangeLog:

            * g++.dg/init/assign2.C: New test.

*** This bug has been marked as a duplicate of bug 59950 ***