John Regehr <reg...@cs.utah.edu> writes: >> I would only be worried for cases where no warning is issued *and* >> unitialized accesses are eliminated. > > Yeah, it would be excellent if GCC maintained the invariant that for all > uses of uninitialized storage, either the compiler or else valgrind will > issue a warning.
If GCC cannot prove that an object is uninitialized it cannot optimize based on that assumption, meaning that the access is likely to happen unless it is dead for other reasons. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."
