<div dir="ltr">[+SG12]</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 20, 2019 at 3:11 PM Richard Smith &lt;<a href="mailto:richardsmith@google.com">richardsmith@google.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">On Thu, Jun 20, 2019 at 2:25 PM Ville Voutilainen &lt;<a href="mailto:ville.voutilainen@gmail.com" target="_blank">ville.voutilainen@gmail.com</a>&gt; wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Fri, 21 Jun 2019 at 00:22, Richard Smith via Lib<br>
&lt;<a href="mailto:lib@lists.isocpp.org" target="_blank">lib@lists.isocpp.org</a>&gt; wrote:<br>
&gt;<br>
&gt; As currently specified, bit_cast from an indeterminate value produces an unspecified value rather than an indeterminate value. That means this can&#39;t be implemented by a simple load on some implementations, and instead will require some kind of removing-the-taint-of-an-uninitialized-value operation to be performed. (A similar concern applies to reading from padding bits.)<br>
&gt;<br>
&gt; Is that the intent?<br>
<br>
With all due respect, Sir Richard, when asking for intent, aren&#39;t you<br>
missing some audiences? Such as the proposal author,<br></blockquote><div><br></div><div>I was mostly looking for &quot;Is my understanding of the wording in line with the expectations of the wording groups that produced it?&quot;-level intent, but you&#39;re quite right that I should have included at least JF. Thanks.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
and the memory-model folks?<br></blockquote><div><br></div><div>I must admit that I&#39;m not sure what this has to do with SG1; indeterminate values are a core object model thing, not a concurrency/parallelism thing. (SG12, maybe.)</div></div></div>
</blockquote></div>