BitVecAny

Documentation

API Reference

BitVecAny

Description

Check if any bit in bitvector matches the given value.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to check
`value`	in	Value to check for (true or false)

Usage example (from documentation)

  bool any_set = BitVecAny(&flags, true);

Success

Returns true when at least one bit equals value. The bitvector is not modified.

Failure

Returns false when no bit matches (including an empty bitvector). The bitvector is not modified.

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1216:

    }
    
    bool BitVecAny(const BitVec *bv, bool value) {
        ValidateBitVec(bv);
        return BitVecFind(bv, value) != SIZE_MAX;

In BitVec.c:1222:

    
    bool BitVecNone(const BitVec *bv, bool value) {
        return !BitVecAny(bv, value);
    }

In BitVec.Access.Simple.c:533:

        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);

In BitVec.Access.Simple.c:534:

        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);

In BitVec.Access.Simple.c:545:

        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);

In BitVec.Access.Simple.c:546:

        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && !BitVecNone(&bv, false);

In BitVec.Access.Simple.c:558:

        result = result && !BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);

In BitVec.Access.Simple.c:559:

        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);
        result = result && !BitVecNone(&bv, false);

In BitVec.Access.Simple.c:655:

        result = result && BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);

In BitVec.Access.Simple.c:656:

        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);

In BitVec.Access.Simple.c:664:

        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.Simple.c:665:

        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
    
        // Test large bitvector with specific patterns

In BitVec.Access.Simple.c:678:

        BitVecSet(&bv, 500, false);
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.Simple.c:679:

        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
    
        BitVecDeinit(&bv);

In BitVec.Access.c:736:

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecAll, BitVecAny, BitVecNone functions\n");
    
        BitVec bv     = BitVecInit(ALLOCATOR_OF(&alloc));

In BitVec.Access.c:748:

        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);

In BitVec.Access.c:749:

        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);

In BitVec.Access.c:761:

        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);

In BitVec.Access.c:762:

        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && !BitVecNone(&bv, false);

In BitVec.Access.c:774:

        result = result && !BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);

In BitVec.Access.c:775:

        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);
        result = result && !BitVecNone(&bv, false);

In BitVec.Access.c:883:

        result = result && BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);

In BitVec.Access.c:884:

        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);

In BitVec.Access.c:892:

        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.c:893:

        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);
    
        // Test large bitvector with specific patterns

In BitVec.Access.c:906:

        BitVecSet(&bv, 500, false);
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.c:907:

        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);
    
        BitVecDeinit(&bv);

Last updated on June 4, 2026

BitVecAnd BitVecByteSize