From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-106639-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 7629 invoked by alias); 15 Dec 2004 18:03:13 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 7463 invoked from network); 15 Dec 2004 18:03:01 -0000
Received: from unknown (HELO NUTMEG.CAM.ARTIMI.COM) (217.40.111.177)
  by sourceware.org with SMTP; 15 Dec 2004 18:03:01 -0000
Received: from mace ([192.168.1.25]) by NUTMEG.CAM.ARTIMI.COM with Microsoft SMTPSVC(6.0.3790.211);
	 Wed, 15 Dec 2004 18:01:17 +0000
From: "Dave Korn" <dave.korn@artimi.com>
To: "'Joe Buck'" <Joe.Buck@synopsys.COM>,
	"'Robert Dewar'" <dewar@adacore.com>
Cc: "'Dmitry Antipov'" <antipov@dev.rtsoft.ru>,
	<gcc@gcc.gnu.org>
Subject: RE: Dubious "'foo' might be used uninitialized in this function" message
Date: Wed, 15 Dec 2004 18:03:00 -0000
MIME-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
In-Reply-To: <20041215092134.A25280@synopsys.com>
Message-ID: <NUTMEG4euumThMeOaIX0000076d@NUTMEG.CAM.ARTIMI.COM>
X-OriginalArrivalTime: 15 Dec 2004 18:01:17.0046 (UTC) FILETIME=[12D85960:01C4E2D0]
X-SW-Source: 2004-12/txt/msg00601.txt.bz2

> -----Original Message-----
> From: gcc-owner On Behalf Of Joe Buck
> Sent: 15 December 2004 17:22

> This case and many other common cases that gcc gives false reports
> on could be solved by using a gated SSA approach (which would, as you
> suggest, determine that the two tests have the same truth value).
> However, using such an approach goes against the desire by many people
> that the warnings they get at -O0 be the same as those for 
> higher levels.

  Ummmm.. I thought the 'may be used uninited' warning could only occur at > O0
anyway?


    cheers, 
      DaveK
-- 
Can't think of a witty .sigline today....