Program logic bugs vs input/environmental errors

[Timon Gehr via Digitalmars-d]

On 09/29/2014 06:06 AM, Timon Gehr wrote:
> On 09/29/2014 02:47 AM, Walter Bright wrote:
>> On 9/28/2014 4:18 PM, Joseph Rushton Wakeling via Digitalmars-d wrote:
>>> I don't follow this point.  How can this approach work with programs
>>> that are
>>> built with the -release switch?
>>
>> All -release does is not generate code for assert()s. ...
>
> (Euphemism for undefined behaviour.)
>

Also, -release additionally removes contracts, in particular invariant 
calls, and enables version(assert).