From patchwork Thu Nov 4 16:13:41 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jan Hubicka X-Patchwork-Id: 47060 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 17B533857C40 for ; Thu, 4 Nov 2021 16:14:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 17B533857C40 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1636042452; bh=IhIlQB1ZqlXxzBADYIqh+QpODUHDpz5rXfCgYpH+HKo=; h=Date:To:Subject:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:From; b=LN1Znitn4h7u6XAbfLtDRW8BThJ8YItfJKDyXqEYKBYjiEFO17+hDRSQnbAb2+xJU wAAs58104cZHyb9/2ytdQddKluszqSvxOKHqBHqnMs4OYpgPOhbeY7SvPHlznyi7CE CGIed5TWdjxa4I9I5YfnAQOwRY3okkxj+aCjBLL4= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from nikam.ms.mff.cuni.cz (nikam.ms.mff.cuni.cz [195.113.20.16]) by sourceware.org (Postfix) with ESMTPS id DA987385840B for ; Thu, 4 Nov 2021 16:13:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org DA987385840B Received: by nikam.ms.mff.cuni.cz (Postfix, from userid 16202) id 8E5A1280F28; Thu, 4 Nov 2021 17:13:41 +0100 (CET) Date: Thu, 4 Nov 2021 17:13:41 +0100 To: gcc-patches@gcc.gnu.org Subject: Workaround ICE in gimple_static_chain_flags Message-ID: <20211104161341.GA83757@kam.mff.cuni.cz> MIME-Version: 1.0 Content-Disposition: inline User-Agent: Mutt/1.10.1 (2018-07-13) X-Spam-Status: No, score=-11.6 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, GIT_PATCH_0, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Jan Hubicka via Gcc-patches From: Jan Hubicka Reply-To: Jan Hubicka Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" Hi, this patch workarounds ICE in gimple_static_chain_flags. I added a sanity check that the nested function is never considered interposable because such situation makes no sense: nested functions have no static API and can not be safely merged across translation units. It turns out however that this triggers for Ada and also for Fortran if LTO partitioning separates nested function from its origin. The secon is bug in binds_to_current_def_p which I was fixing some time ago but it seems that the patch got lost :( So I will dig it out and fix the situation property however to unbreak periodic testers I am silencing the ICE for now (at expense of missed optimization) Honza gcc/ChangeLog: 2021-11-04 Jan Hubicka PR ipa/103058 * gimple.c (gimple_call_static_chain_flags): Handle case when nested function does not bind locally. diff --git a/gcc/gimple.c b/gcc/gimple.c index 76768c19c8e..7a578f5113e 100644 --- a/gcc/gimple.c +++ b/gcc/gimple.c @@ -1666,7 +1666,18 @@ gimple_call_static_chain_flags (const gcall *stmt) int modref_flags = summary->static_chain_flags; /* We have possibly optimized out load. Be conservative here. */ - gcc_checking_assert (node->binds_to_current_def_p ()); + if (!node->binds_to_current_def_p ()) + { + if ((modref_flags & EAF_UNUSED) && !(flags & EAF_UNUSED)) + { + modref_flags &= ~EAF_UNUSED; + modref_flags |= EAF_NOESCAPE; + } + if ((modref_flags & EAF_NOREAD) && !(flags & EAF_NOREAD)) + modref_flags &= ~EAF_NOREAD; + if ((modref_flags & EAF_DIRECT) && !(flags & EAF_DIRECT)) + modref_flags &= ~EAF_DIRECT; + } if (dbg_cnt (ipa_mod_ref_pta)) flags |= modref_flags; }