checkedint call removal

David Nadlinger via Digitalmars-d digitalmars-d at puremagic.com
Fri Aug 1 04:14:58 PDT 2014


On Friday, 1 August 2014 at 04:51:06 UTC, eles wrote:
> assert(0) is a special contract that requires no code for its 
> verification, as it obviously fails. This is why the compiler 
> will always make it a halting point, in all builds."

This is wrong. As I have shown over in the other thread, the 
semantics Walter intended (and that are currently implemented in 
DMD, LDC and probably GDC) for assert(0) have nothing to do with 
what a false assertion would normally entail, but are merely a 
halt/abort/trap/… intrinsic.

Cheers,
David


More information about the Digitalmars-d mailing list