From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 256A73858C54; Sat, 19 Nov 2022 09:25:33 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 256A73858C54
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1668849933;
	bh=pBCp+/ep7cIHAxmCT/Bgwpdeaeivv0ZGE1pNgT0ATQo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=TJlgdAhNtjjaqaCypFR/h3bxvoISbBquyyGgpp8/Y6Q3Xmge5D8kl9ZTVn5P10pOA
	 QYdwvllOZGuyKCmwlM5BbralgQSnH9KXey+v4Pvg2K1RD2VbUTMEw32N3Lic4Go7SX
	 4tiMlbDk3W18lQ+y6Ue4s2sZejv/YirEFpA/k63o=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107684] [C++23] P2589 - static operator[]
Date: Sat, 19 Nov 2022 09:25:32 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: resolution bug_status cc
Message-ID: <bug-107684-4-j7qZ0IuQ75@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107684-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107684-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
https://gcc.gnu.org/g:6492cec069bccf817ac5e984fb3eca407056a566

commit r13-4046-g6492cec069bccf817ac5e984fb3eca407056a566
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Nov 15 08:00:21 2022 +0100

    c++: Implement C++23 P2589R1 - - static operator[]

    Here is a patch that implements the static operator[] paper.
    One thing that doesn't work properly is the same problem as I've filed
    yesterday for static operator() - PR107624 - that side-effects of
    the postfix-expression on which the call or subscript operator are
    applied are thrown away, I assume we have to add them into COMPOUND_EXPR
    somewhere after we find out that the we've chosen a static member funct=
ion
    operator.

    2022-11-15  Jakub Jelinek  <jakub@redhat.com>

    gcc/c-family/
            * c-cppbuiltin.cc (c_cpp_builtins): Bump C++23
            __cpp_multidimensional_subscript macro value to 202211L.
    gcc/cp/
            * decl.cc (grok_op_properties): Implement C++23 P2589R1
            - static operator[].  Handle operator[] similarly to operator()
            - allow static member functions, but pedwarn on it for C++20 and
            older.  Unlike operator(), perform rest of checks on it though =
for
            C++20.
            * call.cc (add_operator_candidates): For operator[] with class
            typed first parameter, pass that parameter as first_arg and
            an adjusted arglist without that parameter.
    gcc/testsuite/
            * g++.dg/cpp23/subscript9.C: New test.
            * g++.dg/cpp23/feat-cxx2b.C: Expect a newer
            __cpp_multidimensional_subscript value.
            * g++.old-deja/g++.bugs/900210_10.C: Don't expect an error
            for C++23 or later.=