From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19455 invoked by alias); 13 Jul 2009 23:52:21 -0000 Received: (qmail 19442 invoked by uid 22791); 13 Jul 2009 23:52:20 -0000 X-SWARE-Spam-Status: No, hits=-2.5 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from mel.act-europe.fr (HELO mel.act-europe.fr) (212.99.106.210) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 13 Jul 2009 23:52:12 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id D7F7129000E; Tue, 14 Jul 2009 01:52:09 +0200 (CEST) Received: from mel.act-europe.fr ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id U9Iz5wSKcNiK; Tue, 14 Jul 2009 01:52:03 +0200 (CEST) Received: from [192.168.1.3] (83-152-121-84.rev.libertysurf.net [83.152.121.84]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mel.act-europe.fr (Postfix) with ESMTP id 4552B29000F; Tue, 14 Jul 2009 01:52:02 +0200 (CEST) From: Eric Botcazou To: Steven Bosscher Subject: Re: A question about df_get_live_in Date: Mon, 13 Jul 2009 23:52:00 -0000 User-Agent: KMail/1.9.6 (enterprise 20070904.708012) Cc: Kaz Kojima , gcc@gcc.gnu.org, zadeck@naturalbridge.com References: <20090714.064618.217955193.kkojima@rr.iij4u.or.jp> <20090714.081700.128123313.kkojima@rr.iij4u.or.jp> <571f6b510907131637j1949c9f5q27d2fa58931de792@mail.gmail.com> In-Reply-To: <571f6b510907131637j1949c9f5q27d2fa58931de792@mail.gmail.com> MIME-Version: 1.0 Content-Disposition: inline Message-Id: <200907140155.29332.ebotcazou@adacore.com> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2009-07/txt/msg00231.txt.bz2 > I doubt he can help you with this one... When your problem concerns > reorg, you should talk to people like Eric Botcazou or Richard > Sandiford or HP Nillson. I've added Eric to the CC, to make this a > happier crowd. :-) Thank you. I was about to leave for vacation but I'll stay for this one. :-) > reorg.c:find_basic_block uses BLOCK_FOR_INSN, which is not valid after > freeing the CFG. The bug you see occurs now because your backport of > the other DF/reorg fixes (your patch for PR40105) also introduces a > call to free_bb_for_insn which clears BLOCK_FOR_INSN. And since > find_basic_block skips over NOTE_INSN_BASIC_BLOCK notes (it uses > {prev,next}_nonnote_insn) and basic block 3 doesn't start with a > label, find_basic_block never sees the start of basic block 3. The call to free_bb_for_insn was already there and init_resource_info resets BLOCK_FOR_INSN before using them. I'll look into this too tomorrow. -- Eric Botcazou