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 3D6423858CDB; Wed, 29 Mar 2023 11:45:02 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3D6423858CDB
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1680090302;
	bh=jxJgLMG9HsKjYb9CuxJY2Tujwr0HCufkACOxW/t8qaE=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=IcbgMwnyOAekIDCITFyViOrdZi5z6uFpSaLBlvV1q9On4wajpqje8HEZaEKrDb/sm
	 u/a+L5n96Ya+mTM83mxzCvOqKb2nLgjVXGNrXbTMFQvJkQkbSpZ/NAsl5amYmr8dHf
	 oI/TKD9E+SxfKmPauKTMhUX8R5Lt7dLrBA5Z7uo0=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/109319] [12/13 Regression] ICE in
 build_min_non_dep_op_overload, at cp/tree.cc:3793 since r12-5510
Date: Wed, 29 Mar 2023 11:45:01 +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: 13.0
X-Bugzilla-Keywords: ice-checking, ice-on-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: priority short_desc
Message-ID: <bug-109319-4-lYcBVAs3ZF@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109319-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109319-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=3D109319

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Summary|[13 Regression] ICE in      |[12/13 Regression] ICE in
                   |build_min_non_dep_op_overlo |build_min_non_dep_op_overlo
                   |ad, at cp/tree.cc:3793      |ad, at cp/tree.cc:3793
                   |                            |since r12-5510

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #2)
> With release checking I see

Those are two separate testcases which just differ in 0,1 vs. 1,0.

Anyway, adjusted testcase so that it isn't so invalid:
struct S
{
  static int &operator[] (int x) { static int a[2]; return a[x]; }
};

template <int N>
int
foo ()
{
  S s;
  ++s[0, 1];
  return 0;
}
and without the template <int N> line is accepted with a pedwarn.
And, if it is changed to:
struct S
{
  int &operator[] (int x) { static int a[2]; return a[x]; }
};

template <int N>
int
foo ()
{
  S s;
  ++s[0, 1];
  return 0;
}
then it is also accepted with pedwarn without the template <int N> line and
otherwise ICEs already starting with r12-5510-gb38c9cf6d570f6.=