<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">You're using a nonstandard definition of undefined behavior. Undefined behavior has a precise meaning, that's why Timon linked the wiki article for you.<br>

<br>
The regular definition of assert does not involve any undefined behavior, only the newly proposed one.<br>
</blockquote></div><br></div><div class="gmail_extra">But the 'newly proposed one' is the definition that I have been using all along.  The 'regular' definition of assert that you claim is what I see as the redefinition - it is a definition based on the particular implementation of assert in other languages, not on the conceptual idea of assert as I understand it (and as it appears to be intended in D).<br>
</div><div class="gmail_extra"><br></div><div class="gmail_extra">This appears to be the root of the argument, and has been circled repeatedly... it's not my intent to restart another round of discussion on that well traveled ground, I just wanted to state my support for the definition as I understand it.</div>
<div class="gmail_extra"><br></div></div>