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 3113C385AC33; Wed, 14 Feb 2024 09:52:04 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3113C385AC33
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1707904324;
	bh=i/PV4pH73AOOgJ+x493fs1A4eTyBqmAt0FzmtrufJ7E=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=k/ZqK71yVggaaYi7We+y+bfhI54mR1kei1M+su02xAJ+nI6Vd0U7M8jatr3uBLcSX
	 WeyteAiR3yMmMMRMLuZI70uUOEcuOCOlRngfyL/IRVBh0ODvYc1cuu+vb8kJgWVasY
	 ukIHr70JeRV5PlumpseixDTzY3cJpsd90apIpn/Q=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/113907] [14 regression] ICU miscompiled since on x86
 since r14-5109-ga291237b628f41
Date: Wed, 14 Feb 2024 09:52:01 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113907-4-bIy6hUdhmO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113907-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113907-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=3D113907

--- Comment #27 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
So:
--- gcc/ipa-icf.cc.jj   2024-02-10 11:25:09.645478952 +0100
+++ gcc/ipa-icf.cc      2024-02-14 10:44:27.906216458 +0100
@@ -1244,6 +1244,29 @@ sem_function::merge (sem_item *alias_ite
   else
     create_alias =3D true;

+  unsigned i;
+  tree name;
+  FOR_EACH_SSA_NAME (i, name, original->get_fun ())
+    {
+      /* We need to either merge or reset SSA_NAME_*_INFO.
+        For merging we don't preserve the mapping between
+        original and alias SSA_NAMEs from successful equals
+        calls.  */
+      if (POINTER_TYPE_P (TREE_TYPE (name)))
+        {
+         if (SSA_NAME_PTR_INFO (name))
+           {
+             gcc_assert (!flag_wpa);
+             SSA_NAME_PTR_INFO (name) =3D NULL;
+           }
+        }
+      else if (SSA_NAME_RANGE_INFO (name))
+       {
+         gcc_assert (!flag_wpa);
+         SSA_NAME_RANGE_INFO (name) =3D NULL;
+       }
+    }
+
   if (redirect_callers)
     {
       int nredirected =3D redirect_all_callers (alias, local_original);
then?  For the merging, I guess we'd need to move one of the 2 vec<int> vec=
tors
from m_checker to the sem_function instead of throwing it away in
sem_function::equals
if returning true.=