Date: Tue, 9 Oct 2012 18:09:47 -0400 From: Eitan Adler <eadler@freebsd.org> To: Steve Kargl <sgk@troutmask.apl.washington.edu> 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: <CAF6rxgmt5swLtOA0fr3=81oHtQ9qJrEeaV0D5brc8Uw0p3xQ5Q@mail.gmail.com> 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 9 October 2012 18:06, Eitan Adler <eadler@freebsd.org> 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. For those interested in "volatile" you may also want to read: www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf -- Eitan Adler Source & Ports committer X11, Bugbusting teams
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAF6rxgmt5swLtOA0fr3=81oHtQ9qJrEeaV0D5brc8Uw0p3xQ5Q>