checkedint call removal

Daniel Murphy via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 30 11:56:40 PDT 2014


"Walter Bright"  wrote in message news:lrbes7$9gs$1 at digitalmars.com...

> enforce is NOT for checking program logic bugs, it is for checking for 
> possible environmental failures, like writing to a read-only file.
>
> If you want an assert to be there even in release mode,
>
>      assert(exp) => exp || assert(0)

As I said earlier, this is valid by what dmd currently implements, but not 
according to the spec.  The spec does not guarantee assert(0) checks will 
always be emitted. 



More information about the Digitalmars-d mailing list