<div dir="ltr"><div class="gmail_extra"><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"><div style="word-wrap:break-word"><div><br></div><div>Saying “The C++ language lets me assume that that won’t happen, & optimize </div><div>on that basis” is an assumption that that’s what the user wants, but you</div><div>haven’t asked you’ve just assumed, and AFAICT it is an incorrect assumption.</div></div></blockquote><div>This is actually an incorrect assumption on your part.  Many users have been asked many many many times.  This wasn't just done.</div><div>So please don't say "you haven't asked you've just assumed", because that is flat out wrong.</div><div><br></div><div>" and AFAICT it is an incorrect assumption."</div><div>This however, needs a citation to anything that is real data.</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"><div style="word-wrap:break-word"><div>What’s worse is that there isn’t any way to opt-out of this assumption</div><div>(-fsanitize=undefined isn’t opt’ing out, its opt’ing in to a lot extra that I</div><div>might or might not want).</div></div></blockquote><div><br></div><div>Correct, there is no way to opt-out except to use a different language (or at the very least, a different compiler, but i'm not aware of any that would meet your requirements in general).</div><div>Sometimes, you don't build something for every use case, and the answer is "if that's your use case, that's awesome, but it's not a thing we serve".</div><div><br></div><div><br></div></div></div></div>