[Bug c++/114525] New: Incorrect code generated when setting a value through a pointer-to-member on a ternary returning an object reference

[Bug c++/114525] New: Incorrect code generated when setting a value through a pointer-to-member on a ternary returning an object reference

[dragonroot at gmail dot com]

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

            Bug ID: 114525
           Summary: Incorrect code generated when setting a value through
                    a pointer-to-member on a ternary returning an object
                    reference
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dragonroot at gmail dot com
  Target Milestone: ---

The following program incorrectly outputs 1 on every GCC I've tried (via
godbolt.org), while every clang version there correctly outputs 2.

==============
#include <stdio.h>

struct Foo
{
  int x;
};

Foo & get( Foo & v )
{
  return v;
}

int main()
{
  Foo v;

  v.x = 1;

  bool cond = true;

  ( cond ? get( v ) : get( v ) ).*( &Foo::x ) = 2;

  // Should output 2, but outputs 1
  printf( "%d\n", v.x );
}
==============

[Bug c++/114525] Incorrect code generated when setting a value through a pointer-to-member on a ternary returning an object reference

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-03-28

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

    (void) (*((int *) &(cond ? *get ((struct Foo &) &v) : *get ((struct Foo &)
&v)) + (sizetype) 0) = 2) >>>>>;

Notice the * there.

[Bug c++/114525] [11/12/13/14 Regression] Incorrect code generated when setting a value through a pointer-to-member on a ternary returning an object reference

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.4.7
   Target Milestone|---                         |11.5
            Summary|Incorrect code generated    |[11/12/13/14 Regression]
                   |when setting a value        |Incorrect code generated
                   |through a pointer-to-member |when setting a value
                   |on a ternary returning an   |through a pointer-to-member
                   |object reference            |on a ternary returning an
                   |                            |object reference
      Known to work|                            |4.1.2

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
It actually worked in GCC 4.1.2.

[Bug c++/114525] [11/12/13/14 Regression] Incorrect code generated when setting a value through a pointer-to-member on a ternary returning an object reference

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2