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 C679A3858D3C; Mon, 24 Apr 2023 06:40:41 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C679A3858D3C
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1682318441;
	bh=RErRSdoLU05WQTDt+tu7lWp8qC5n6iG/RSQwuA50JEM=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=s1wbR+SSZG0MEbruaGCEzbpYQ/7WFO32Lfq4pXyPXCUAtRBK6yFoU+47S7f2thXXk
	 FXfzhy5rSADwpISSt+f7U4KEeSzdfxHfQ1TxKbM6asOoIrv2eZwBGQ+VHYnSaGtQB6
	 52gtX7E96yc0gXmOnfGF/Jy/9pniBUB1qCgNvad8=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/109585] [10/11/12/13/14 regression] Carla/sord
 miscompiled with -O2 on ARM64 with flexible array member
Date: Mon, 24 Apr 2023 06:40:40 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 12.1.0
X-Bugzilla-Keywords: alias, wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth 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: everconfirmed cf_reconfirmed_on bug_status
Message-ID: <bug-109585-4-dESQ9FDmsi@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109585-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109585-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=3D109585

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2023-04-24
             Status|UNCONFIRMED                 |NEW

--- Comment #18 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Alexander Monakov from comment #13)
> The small repro from comment #5 is reproducible on x86_64 trunk as well w=
ith
> -O2 -DNDEBUG (as well as on older x86_64 branches without -DNDEBUG).
>=20
> sched2 is lifting
>=20
> (insn:TI 295 100 101 12 (set (reg:CCZ 17 flags)
>         (compare:CCZ (mem/f:DI (plus:DI (reg/v/f:DI 3 bx [orig:133 t ] [1=
33])
>                     (const_int 8 [0x8])) [2 MEM[(const struct ZixBTreeIter
> *)t_3(D)].stack[0].node+0 S8 A64])
>             (const_int 0 [0]))) "/app/example.c":65:12 discrim 2 8
> {*cmpdi_ccno_1}
>      (nil))
>=20
> above conflicting=20
>=20
> (insn 101 295 102 12 (set (mem/f:DI (reg/v/f:DI 0 ax [orig:96 f ] [96]) [2
> f_69->node+0 S8 A64])
>         (const_int 0 [0])) "/app/example.c":86:14 88 {*movdi_internal}
>      (nil))

since MEM_ALIAS_SET are the same it must be MEM_EXPR handling going wrong,
or points-to info giving the wrong answer.=