BitVecMustInsertMultiple
Description
Aborting variant of BitVecInsertMultiple. See that macro for parameter semantics and success-state effects.
Success
Returns to the caller. The underlying BitVecInsertMultiple call succeeded; see BitVecInsertMultiple for the post-state.
Failure
Does not return - aborts via LOG_FATAL / SysAbort when the underlying BitVecInsertMultiple call returns false.
Usage example (Cross-references)
Usage examples (Cross-references)
- In
Insert.h:48:
do { \
if (!BitVecInsertMultiple((bv), (idx), (other))) { \
LOG_FATAL("BitVecMustInsertMultiple failed"); \
} \
} while (0)
Last updated on