From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2122) id 1F6EE3858024; Wed, 24 Jan 2024 19:40:50 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1F6EE3858024 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1706125251; bh=WwxM11nu9hXQIEF6tZrFIuYvx2L8vaa1cHNCtchXoLg=; h=From:To:Subject:Date:From; b=vo+7WEVlRtWwFE4R8H1BjZuQnol4PB1jAVLWvkIbHUlSQx3d+pNI479bKW4k0n1dm ehJ6QwOwAvlu8xqYhmPsh+Fx8z+9QSFBsdyP8sPj67c2r2oPI2F0YRM+4Hw/jDiCWi cbs7BWy8NBXhDdy0fJS7OPl1dRB18S6w8bpBogZs= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jason Merrill To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-10111] c++: xvalue array subscript [PR103185] X-Act-Checkin: gcc X-Git-Author: Jason Merrill X-Git-Refname: refs/heads/releases/gcc-12 X-Git-Oldrev: b0605cd4a12e9162cc56abc69ca1048947c72689 X-Git-Newrev: 0da4402bd4b350691b2301003de62268f865d91c Message-Id: <20240124194051.1F6EE3858024@sourceware.org> Date: Wed, 24 Jan 2024 19:40:50 +0000 (GMT) List-Id: https://gcc.gnu.org/g:0da4402bd4b350691b2301003de62268f865d91c commit r12-10111-g0da4402bd4b350691b2301003de62268f865d91c Author: Jason Merrill Date: Tue Dec 19 16:12:02 2023 -0500 c++: xvalue array subscript [PR103185] Normally we handle xvalue array subscripting with ARRAY_REF, but in this case we weren't doing that because the operands were reversed. Handle that case better. PR c++/103185 gcc/cp/ChangeLog: * typeck.cc (cp_build_array_ref): Handle swapped operands. gcc/testsuite/ChangeLog: * g++.dg/cpp1z/array-prvalue2.C: New test. * g++.dg/cpp1z/eval-order3.C: Test swapped operands. (cherry picked from commit 8dfc52a75d4d6c8be1c61b4aa831b1812b14a10e) Diff: --- gcc/cp/typeck.cc | 16 +++++++++++++--- gcc/testsuite/g++.dg/cpp1z/array-prvalue2.C | 5 +++++ gcc/testsuite/g++.dg/cpp1z/eval-order3.C | 5 +++++ 3 files changed, 23 insertions(+), 3 deletions(-) diff --git a/gcc/cp/typeck.cc b/gcc/cp/typeck.cc index 6ca240fe40a..cc949dab0e7 100644 --- a/gcc/cp/typeck.cc +++ b/gcc/cp/typeck.cc @@ -3775,13 +3775,14 @@ cp_build_indirect_ref (location_t loc, tree ptr, ref_operator errorstring, If INDEX is of some user-defined type, it must be converted to integer type. Otherwise, to make a compatible PLUS_EXPR, it will inherit the type of the array, which will be some pointer type. - + LOC is the location to use in building the array reference. */ tree cp_build_array_ref (location_t loc, tree array, tree idx, tsubst_flags_t complain) { + tree first = NULL_TREE; tree ret; if (idx == 0) @@ -3826,6 +3827,14 @@ cp_build_array_ref (location_t loc, tree array, tree idx, bool non_lvalue = convert_vector_to_array_for_subscript (loc, &array, idx); + /* 0[array] */ + if (TREE_CODE (TREE_TYPE (idx)) == ARRAY_TYPE) + { + std::swap (array, idx); + if (flag_strong_eval_order == 2 && TREE_SIDE_EFFECTS (array)) + idx = first = save_expr (idx); + } + if (TREE_CODE (TREE_TYPE (array)) == ARRAY_TYPE) { tree rval, type; @@ -3901,15 +3910,16 @@ cp_build_array_ref (location_t loc, tree array, tree idx, protected_set_expr_location (ret, loc); if (non_lvalue) ret = non_lvalue_loc (loc, ret); + if (first) + ret = build2_loc (loc, COMPOUND_EXPR, TREE_TYPE (ret), first, ret); return ret; } { tree ar = cp_default_conversion (array, complain); tree ind = cp_default_conversion (idx, complain); - tree first = NULL_TREE; - if (flag_strong_eval_order == 2 && TREE_SIDE_EFFECTS (ind)) + if (!first && flag_strong_eval_order == 2 && TREE_SIDE_EFFECTS (ind)) ar = first = save_expr (ar); /* Put the integer in IND to simplify error checking. */ diff --git a/gcc/testsuite/g++.dg/cpp1z/array-prvalue2.C b/gcc/testsuite/g++.dg/cpp1z/array-prvalue2.C new file mode 100644 index 00000000000..60a038cfd16 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1z/array-prvalue2.C @@ -0,0 +1,5 @@ +// PR c++/103185 +// { dg-do compile { target c++11 } } + +using intarr = int[]; +static_assert(__is_same(decltype(0[intarr{0}]), int&&), ""); diff --git a/gcc/testsuite/g++.dg/cpp1z/eval-order3.C b/gcc/testsuite/g++.dg/cpp1z/eval-order3.C index 5773591d49f..897cdef7483 100644 --- a/gcc/testsuite/g++.dg/cpp1z/eval-order3.C +++ b/gcc/testsuite/g++.dg/cpp1z/eval-order3.C @@ -166,6 +166,11 @@ void g() ip(24)[f(25)-25] = 0; last=0; + // even with swapped operands + (f(20)-20)[afn(21)].memfn(f(22),23); + (f(24)-24)[ip(25)] = 0; + last=0; + // a << b aref(24) << f(25); iref(26) << f(27);