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 C0C4D385781F; Mon, 21 Nov 2022 13:00:18 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C0C4D385781F
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1669035618;
	bh=T6s4DyLpJ/HcCUlLv+ECAyUnmektSFQMZowFkp3dmFI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=H9LmGSNBliArw1YasrNCD7QvxSOfBh9UkhZJFHEC54mETLaSAUe+hltmSP/1A00L6
	 yc9R8kbEf9SgepLUtUhIisWVZz2zJSe0H206CvjjEptidXzlXNfmENx9TQZHvDPYOE
	 sx+Ml8MdNvOO0YBRmZiZ7Hl8hRGDwkYmq6hF1/v0=
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107542] ICE in spaceship_comp_cat, at cp/method.cc:1055
Date: Mon, 21 Nov 2022 13:00:18 +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: 12.2.1
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
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: cc bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-107542-4-XSoUwK08uL@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107542-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107542-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=3D107542

Martin Li=C5=A1ka <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2022-11-21
     Ever confirmed|0                           |1

--- Comment #4 from Martin Li=C5=A1ka <marxin at gcc dot gnu.org> ---
Reduced test-case:

$ cat pr107542.ii
template <class Lhs, class Rhs>
concept Ord =3D requires(Lhs lhs, Rhs rhs) { lhs <=3D> rhs; };
template <class> struct S;
template <class T, class U>
  requires(Ord<T *, U *>)
auto operator<=3D>(T, U) {
  !Ord<int, S<int>>;
}

Note spaceship_comp_cat is called with:
optype=3D<error_mark 0x7ffff7621fa8>=