Scott Wood <[email protected]> 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 protected] GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." _______________________________________________ Linuxppc-dev mailing list [email protected] https://ozlabs.org/mailman/listinfo/linuxppc-dev
