From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26465 invoked by alias); 12 May 2003 17:04:02 -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 26253 invoked from network); 12 May 2003 17:03:59 -0000 Received: from unknown (HELO piper.synopsys.com) (204.176.21.196) by sources.redhat.com with SMTP; 12 May 2003 17:03:59 -0000 Received: (from jbuck@localhost) by piper.synopsys.com (8.11.6/8.11.6) id h4CH1hU30867; Mon, 12 May 2003 10:01:43 -0700 Date: Mon, 12 May 2003 17:04:00 -0000 From: Joe Buck To: Diego Novillo Cc: Toon Moene , "gcc@gcc.gnu.org" Subject: Re: Daily snapshots of tree-ssa branch available Message-ID: <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> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <1052740725.27232.44.camel@frodo.toronto.redhat.com>; from dnovillo@redhat.com on Mon, May 12, 2003 at 08:43:54AM -0400 X-SW-Source: 2003-05/txt/msg01172.txt.bz2 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, or is it the well-known problem that gcc can't deal with pointer* p; bool flag = false; if (expensive()) { p = init_p(); flag = true; } do_something_else(); if (flag) { use(p); } ? That is, gcc's uninitialized warning misses correlations between variables, so this kind of thing gives a false warning at use(p).