[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [IMP-dev] NBL cleanup and other small patches
The only thing we can say for sure is that when NDEBUG is defined,
assert() is a noop. IMHO, IMP_assert() acts like assert(), so it
should do the same thing - that's how I put it in the patch I
committed. For the other runtime checks, it seems reasonable for it to
be like CHEAP or NONE, as you say.
I don't think we need to provide that guarantee (perhaps we should
rename the macros to IMP_internal_correctness_check since they are
checks which should not fail if there are no bugs in IMP).
Part of my goal was to get rid of having two different types of
compilation which we need to pay attention to.