Walter Bright:
That's the way assert in C/C++ conventionally worked. But this is changing. Bearophile's reference made it clear that Microsoft C++ 2013 has already changed,
I am against the idea of turning asserts into a dangerous assert-assume hybrid. And you have ignored some answers by Timon and others.
Bye, bearophile
