From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 19825 invoked by alias); 15 Dec 2004 10:02:40 -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 19582 invoked from network); 15 Dec 2004 10:02:20 -0000 Received: from unknown (HELO mail.codesourcery.com) (65.74.133.9) by sourceware.org with SMTP; 15 Dec 2004 10:02:20 -0000 Received: (qmail 20343 invoked from network); 15 Dec 2004 10:02:19 -0000 Received: from localhost (HELO ?192.168.189.167?) (nathan@127.0.0.1) by mail.codesourcery.com with SMTP; 15 Dec 2004 10:02:19 -0000 Message-ID: <41C00BA4.4060700@codesourcery.com> Date: Wed, 15 Dec 2004 10:02:00 -0000 From: Nathan Sidwell Organization: Codesourcery LLC User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.3) Gecko/20040913 MIME-Version: 1.0 To: Dmitry Antipov CC: gcc@gcc.gnu.org Subject: Re: Dubious "'foo' might be used uninitialized in this function" message References: <41BF1207.2040102@dev.rtsoft.ru> <41BF1C0A.6060100@codesourcery.com> <41C009AA.4020700@dev.rtsoft.ru> In-Reply-To: <41C009AA.4020700@dev.rtsoft.ru> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2004-12/txt/msg00564.txt.bz2 Dmitry Antipov wrote: > Nathan Sidwell wrote: >> >> it gets as complex as the halting problem :) > > > Really ? Why ? you're asking the compiler to show that a piece of code X (the use) is only executed whenever another piece of code Y (the set) is executed. For arbitrary intervening code. nathan -- Nathan Sidwell :: http://www.codesourcery.com :: CodeSourcery LLC nathan@codesourcery.com :: http://www.planetfall.pwp.blueyonder.co.uk