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 B22053858C39; Wed, 24 Nov 2021 16:18:31 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B22053858C39
From: "hubicka at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/103405] [12 Regression] c67005c FAILs with -fipa-modref
Date: Wed, 24 Nov 2021 16:18:31 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hubicka at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: hubicka at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 12.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-103405-4-cqjPILb5Wv@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-103405-4@http.gcc.gnu.org/bugzilla/>
References: <bug-103405-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
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 24 Nov 2021 16:18:31 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D103405

--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Created attachment 51868
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D51868&action=3Dedit
Patch in testing

Good to know that there are no more known modref & Ada problems ;)  I recen=
tly
extended modref to also handle static chains and some problem may pop out...

The problem is the IPA pass determining incorrect EAF flags for the static
chain (it get NO_INDIRECT_READ which is not true since equal reads indirect=
ly).
This is missed propagation of EAF flags for static chain - I missed this sp=
ot
while extending retslot handling to static chain since retslots does not ne=
ed
this.=