On Tue, Oct 09, 2012 at 06:06:55PM -0400, Eitan Adler wrote: > On 9 October 2012 17:25, Steve Kargl <s...@troutmask.apl.washington.edu> > wrote: > > ... yes, I was misreading the text. > > > Clang has no way of determining if 'a' is initialized or not. > > If David is correct that 'junk' is optimized out by clang/llvm, > > then it seems that clang violates footnote 116. Yes, I know > > it is non-normative text. > > Sorry if I was not clear: clang does *not* optimize away the volatile > version. I removed it for other reasons.
OK, but clang still has a bug. Clang should not issue a warning that "'a' is uninitialized" because 'a' is volatile and clang has no way of knowning whether 'a' has been initialized by some other means. At most, clang can state "'a' may be uninitialized". -- Steve _______________________________________________ svn-src-head@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/svn-src-head To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"