Lines Matching full:assertion

17 for assertion checking and abnormal program termination.
34 **  assertion checking
56 and they are also used by the assertion checking macros.
64 	macro, such as the assertion checking macros.
69 	from an assertion checking macro, or they are set to NULL and 0.
102     The assertion handling package
107     There are three kinds of assertion:
112 	This is an assertion used at the beginning of a function
119 	This is an assertion used just before returning from a function
126 	This is an assertion that is used in the middle of a function,
130     If any of the above assertion macros fail, then sm_abort_at
140 <h2> How To Disable Assertion Checking At Compile Time </h2>
147     By default, all three types of assertion are enabled.
148     You can selectively disable individual assertion types
156     Or, you can define SM_CHECK_ALL as 0 to disable all assertion
171     Sometimes an assertion check requires more code than a simple
175     You can code such assertion checks by making them conditional on
179     Sometimes an assertion check is significantly more expensive
182     the assertion once the code is unit tested.
183     Please don't do this: it makes it hard to turn the assertion
185     What you should do instead is make the assertion check conditional
192     By doing this, you bring the cost of the assertion checking code
193     back down to a single comparison, unless expensive assertion checking
202     Higher levels correspond to more expensive assertion checks.
256     working if assertion checking is disabled.
272     Second, it is a bad idea to raise an exception on an assertion failure
274     the assertion macros.
276     anywhere it is possible for an assertion to be raised, the code
279     If an assertion failure was signalled by raising an exception,
280     then every time you added an assertion, you would need to check
281     both the function containing the assertion and its callers to see
283     on assertion failure.  That is far too great a burden.
337     core dump and die, or an assertion might fail, in which case the process
344     a prominent evangelist for assertion checking who has written a number of
347     Many other assertion checking packages for C also have "require" and
348     "ensure" assertion types.  In short, we are conforming to a de-facto