Skip to content

BitVecEmpty

Description

Check whether bitvector is empty.

Parameters

Name Direction Description
bv in Bitvector to query.

Usage example (from documentation)

  if (BitVecEmpty(&flags)) { /* handle empty case */ }

Success

Returns true when bitvector length is 0.

Failure

Returns false when the bitvector contains at least one bit. The bitvector is not modified.

Usage example (Cross-references)

Usage examples (Cross-references)
No external code usages found in the scanned files.
Last updated on