Subject: Re: [PATCH] Quieten arch/powerpc in a allmodconfig build.

From: Andreas Schwab <[email-masked]>
Date: Fri, 10 Apr 2009 20:35:03 +0200

Scott Wood <[email-masked]> 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, [email-masked]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."