svn commit: r241373 - head/lib/libc/stdlib

[Steve Kargl]

On Tue, Oct 09, 2012 at 06:06:55PM -0400, Eitan Adler wrote:
> On 9 October 2012 17:25, Steve Kargl <sgk at 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