<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Feb 9, 2018 at 2:52 PM, Richard Smith <span dir="ltr">&lt;<a href="mailto:richardsmith@google.com" target="_blank">richardsmith@google.com</a>&gt;</span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Please find attached a revised version of P0593 based on the excellent discussion and feedback at the Albuquerque meeting. Please let me know if you have any comments; I believe our plan was to discuss this again at Jacksonville, and all being well, to forward it to EWG at that meeting.</div></div></blockquote><br>&quot;Thus we retain the property (essential to modern scalar type-based alias<br>analysis) that loads of some scalar type can be considered to not alias earlier<br>stores of unrelated scalar types.&quot;<br><br>In mathematics, when a chain of reasoning leads to a contradiction, a false<br>premise is found and abandoned.  In religion, when a chain of reasoning<br>leads to a contradiction, volumes of apologetics are written.</div></div></div>