assert(expression, error)

[Jonathan M Davis]

On Saturday 12 February 2011 06:54:01 bearophile wrote:
> Andrej Mitrovic:
> > Yeah, enforce is great.
> 
> Enforce is not disabled in release mode. Currently a function with enforce
> inside can't be nothrow, and it can't be inlined.

Yeah. Well it makes no sense whatsover for a function with enforce to be 
nothrow. The whole _point_ is to throw an exception, and enforce had better not 
be disabled for release. It throws an _Exception_ not an AssertError. It's not 
_supposed_ to be used for stuff which isn't tested in release. That's what assert 
is for.

Now, the fact that it can't be inlined is a problem, but the rest of it is how 
it's _supposed_ to work.

- Jonathan M Davis