From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11513 invoked by alias); 13 May 2003 14:52:21 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 11402 invoked from network); 13 May 2003 14:52:20 -0000 Received: from unknown (HELO touchme.toronto.redhat.com) (207.219.125.105) by sources.redhat.com with SMTP; 13 May 2003 14:52:20 -0000 Received: from localhost (tornado.toronto.redhat.com [172.16.14.228]) by touchme.toronto.redhat.com (Postfix) with ESMTP id 4F7CA800030; Tue, 13 May 2003 10:52:19 -0400 (EDT) Subject: Re: Daily snapshots of tree-ssa branch available From: Diego Novillo To: Joe Buck Cc: Toon Moene , "gcc@gcc.gnu.org" In-Reply-To: <20030512100142.A30772@synopsys.com> References: <20030509151842.GA1731@tornado.toronto.redhat.com> <3EBCB310.7020201@moene.indiv.nluug.nl> <1052740725.27232.44.camel@frodo.toronto.redhat.com> <20030512100142.A30772@synopsys.com> Content-Type: text/plain Organization: Red Hat Canada Message-Id: <1052837535.27232.322.camel@frodo.toronto.redhat.com> Mime-Version: 1.0 Date: Tue, 13 May 2003 14:52:00 -0000 Content-Transfer-Encoding: 7bit X-SW-Source: 2003-05/txt/msg01308.txt.bz2 On Mon, 2003-05-12 at 13:01, Joe Buck wrote: > On Mon, May 12, 2003 at 08:43:54AM -0400, Diego Novillo wrote: > > Yes. This is an issue we need to fix before merging into mainline. > > GIMPLE tends to emit conditionals that trigger warnings like 'used > > before definition'. I believe that Jason was working on a change that > > would fix this. > > Are these warnings valid. > Kind of. The more common false positive is due to the way the gimplifier restructures complex conditional expressions like 'if (v && (x = foo()))'. This sometimes leaves code similar to what you quote in your message. To properly fix this we need to restructure the code emitted by the gimplifier and, probably, move some of the other warnings into the tree-ssa passes. Diego.