From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-out.m-online.net (mail-out.m-online.net [212.18.0.9]) by ozlabs.org (Postfix) with ESMTP id 5171DDE19E for ; Sat, 11 Apr 2009 04:35:12 +1000 (EST) From: Andreas Schwab To: Scott Wood Subject: Re: [PATCH] Quieten arch/powerpc in a allmodconfig build. References: <2c4bcf8d1d7083ff53ce5b556765e96676a007fb.1239165378.git.tony@bakeyournoodle.com> <1239167335.10104.26.camel@localhost> <20090408055126.GG16602@bilbo.ozlabs.org> <7ED93BB3-FE0E-4102-89FB-78950A533717@kernel.crashing.org> <20090409224553.GO16602@bilbo.ozlabs.org> <20090410091149.5068d8e1.sfr@canb.auug.org.au> <1AAD5906-66FA-4850-8C62-8C030816E44E@kernel.crashing.org> <49DF89F7.2070403@freescale.com> Date: Fri, 10 Apr 2009 20:35:03 +0200 In-Reply-To: <49DF89F7.2070403@freescale.com> (Scott Wood's message of "Fri, 10 Apr 2009 13:03:35 -0500") Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cc: Stephen Rothwell , linuxppc-dev@ozlabs.org List-Id: Linux on PowerPC Developers Mail List List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Scott Wood writes: > The problem is that GCC does not give an error (only a warning) even for > things like this where it should be trivial to detect that the usage *is* > uninitialized, not just might be: > > int foo(void) > { > int a; > > return a; > } The compiler must not reject this code, because the undefined behavior only occurs if executed. There is no constraint violated. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."