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 166063858C50; Wed,  8 Feb 2023 22:41:51 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 166063858C50
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1675896111;
	bh=9+kzTLQ9J+R5jS8n+mToaqBJ29HncOcLzt78K/vlcMM=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=evHKpLiyJSv9wchgfKbhHL1PQskmeKQkcu12yDOGxIvGR3MoRcjcqHImk3GYJBcmZ
	 mtw9QFFZVobXo3RBCLeeCBO/pEp1rEm2yWLqEUD8X3tpNF6A4yH8zD6A4z3NKbJv/L
	 qzmSrpBi9/eBoaa29BSaFXY02BU2rY7e829tURxY=
From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/101073] [10/11/12/13 Regression] ICE in
 cxx_eval_constant_expression, at cp/constexpr.c:6941
Date: Wed, 08 Feb 2023 22:41:50 +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.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mpolacek 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: 10.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-101073-4-pOhtPIgz4J@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-101073-4@http.gcc.gnu.org/bugzilla/>
References: <bug-101073-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=3D101073

--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
A similar test that doesn't use op=3D:

struct Y
{
  int a;
};

struct X
{
  Y b =3D Y{1};
  Y c =3D this->b;
};

constexpr X o =3D { };
static_assert(o.b.a =3D=3D 1 && o.c.a =3D=3D 1, "");=