Date: Tue, 9 Oct 2012 16:08:11 -0700 From: Steve Kargl <sgk@troutmask.apl.washington.edu> To: Eitan Adler <eadler@freebsd.org> Cc: svn-src-head@freebsd.org, theraven@freebsd.org, svn-src-all@freebsd.org, src-committers@freebsd.org, Andrey Chernov <ache@freebsd.org> Subject: Re: svn commit: r241373 - head/lib/libc/stdlib Message-ID: <20121009230811.GA68376@troutmask.apl.washington.edu> In-Reply-To: <CAF6rxgm-a0c2hQNSU3d595YEV15t=YVFxv_B2tefPJW6ZYNRBg@mail.gmail.com> References: <201210091425.q99EPFS6020787@svn.freebsd.org> <507451DE.9060909@freebsd.org> <CAF6rxgkDbyrCHfY-5eMjJ%2B7nP9ZCnXsjLgEBB1Q_p=QJ3tCkfg@mail.gmail.com> <50746BF8.5010307@freebsd.org> <CAF6rxg=azW682hF3mUw4rh8o7dUiycc_A9FLqmumxa0SGj9EYA@mail.gmail.com> <20121009212538.GA67848@troutmask.apl.washington.edu> <CAF6rxgm-a0c2hQNSU3d595YEV15t=YVFxv_B2tefPJW6ZYNRBg@mail.gmail.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On Tue, Oct 09, 2012 at 06:06:55PM -0400, Eitan Adler wrote: > On 9 October 2012 17:25, Steve Kargl <sgk@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20121009230811.GA68376>