From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id DB93838543BE; Fri, 13 Jan 2023 22:08:36 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DB93838543BE DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1673647716; bh=wxywoG+FIWVKYR9EwGKYwZV9orauDRNJR92x3moMnsI=; h=From:To:Subject:Date:In-Reply-To:References:From; b=Kat067f5KmFvUMMjq4OP+LSu1wLltNciBhtIXziXVYvH7P5VCESofvsPgcJLlrifV Y5qpmMIdiMTSgMfA8LuoIl4V6WfhBXp8jpW7t++JuOTWPffLe8mVrvRBAPdBXIZ1xi Ip6yRkpcQwdJ5ojmzhXKZffCb9MToPAkS6lZqBS0= From: "hubicka at ucw dot cz" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/107467] [12/13 Regression] Miscompilation involing -Os , -flto and -fno-strict-aliasing since r12-656-ga564da506f52be66 Date: Fri, 13 Jan 2023 22:08:36 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 12.2.0 X-Bugzilla-Keywords: lto, wrong-code X-Bugzilla-Severity: normal X-Bugzilla-Who: hubicka at ucw dot cz X-Bugzilla-Status: ASSIGNED X-Bugzilla-Resolution: X-Bugzilla-Priority: P2 X-Bugzilla-Assigned-To: hubicka at gcc dot gnu.org X-Bugzilla-Target-Milestone: 12.3 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: 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: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107467 --- Comment #9 from Jan Hubicka --- >=20 > so it's ICFed compare_pairs having modref TBAA info that makes the > stores dead. I suppose ICF needs to reset / alter the modref summaries? Well, matching that ICF does should be enough to verify that modref sumaries are same. Modref only does what would happen after inlining and ICF should be safe WRT both modref and inlining.=