P99

◆ P99_INVARIANT

#define P99_INVARIANT (   EXPR)    P99_PROTECTED_BLOCK(assert((EXPR) && "failed at beginning of block"), assert((EXPR) && "failed at end of block"))

Assert runtime condition EXPR when entering or leaving the dependent block.

Warning
argument 0 may be evaluated multiple times
Restrictions on preliminary exits from the dependent block or statement apply.
See also
P99_PROTECTED_BLOCK
P99_GUARDED_BLOCK

Definition at line 744 of file p99_block.h.