[Bug c++/93046] [10 Regression] ICE in cp_gimplify_init_expr

[Bug c++/93046] [10 Regression] ICE in cp_gimplify_init_expr

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:bbdb5612f6661f2c64b0c0f1d2291cb59fde2b40

commit r13-2964-gbbdb5612f6661f2c64b0c0f1d2291cb59fde2b40
Author: Jason Merrill <jason@redhat.com>
Date:   Fri Sep 23 09:07:22 2022 -0400

    c++: fix class-valued ?: extension

    When the gimplifier encounters the same TARGET_EXPR twice, it evaluates
    TARGET_EXPR_INITIAL the first time and clears it so that the later
    evaluation is just the temporary.  With this testcase, using the extension
    to treat an omitted middle operand as repeating the first operand, that led
    to doing a bitwise copy of the S(1) temporary on return rather than
properly
    calling the copy constructor.

    We can't use S(1) to initialize the return value here anyway, because we
    need to materialize it into a temporary so we can convert it to bool and
    determine which arm we're evaluating.  So let's just treat the middle
    operand as an xvalue.

            PR c++/93046

    gcc/cp/ChangeLog:

            * call.cc (build_conditional_expr): For a?:c extension, treat
            a reused class prvalue as an xvalue.

    gcc/testsuite/ChangeLog:

            * g++.dg/ext/cond4.C: Add runtime test.