BitVecMustInsertRange

Description

Aborting (Must*) variants of the fallible bitvector insertion functions declared below.

Each BitVecMustXxx(...) is a statement-style do-while wrapper around the matching BitVecXxx(...) function: it calls the underlying fallible form and triggers LOG_FATAL(...) if the call returns false. Use these at API boundaries where allocation failure is not recoverable. Otherwise prefer the propagating forms.

Success

Returns to the caller.

Failure

Does not return - aborts via LOG_FATAL / SysAbort.

Usage example (Cross-references)

        do {                                                                                                               \
            if (!BitVecInsertRange((bv), (idx), (count), (value))) {                                                       \
                LOG_FATAL("BitVecMustInsertRange failed");                                                                 \
            }                                                                                                              \
        } while (0)