BitVecNone

Documentation

API Reference

BitVecNone

Description

Check if no bits in bitvector match the given value.

Parameters

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

Usage example (from documentation)

  bool none_set = BitVecNone(&flags, true);

Success

Returns true when no bit equals value (vacuously true on an empty bitvector). The bitvector is not modified.

Failure

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

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1221:

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

In BitVec.Access.Simple.c:535:

        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:536:

        result = result && !BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);
    
        // Test with all false

In BitVec.Access.Simple.c:547:

        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:548:

        result = result && BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && !BitVecNone(&bv, false);
    
        // Test with mixed values

In BitVec.Access.Simple.c:560:

        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:561:

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

In BitVec.Access.Simple.c:657:

        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:658:

        result = result && !BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);
    
        // Test single element bitvector

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:750:

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

In BitVec.Access.c:751:

        result = result && !BitVecAny(&bv, false);
        result = result && !BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);
    
        // Test with all false bits

In BitVec.Access.c:763:

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

In BitVec.Access.c:764:

        result = result && BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && !BitVecNone(&bv, false);
    
        // Test with mixed bits

In BitVec.Access.c:776:

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

In BitVec.Access.c:777:

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

In BitVec.Access.c:885:

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

In BitVec.Access.c:886:

        result = result && !BitVecAny(&bv, false);
        result = result && BitVecNone(&bv, true);
        result = result && BitVecNone(&bv, false);
    
        // Test single element bitvector

Last updated on June 4, 2026

BitVecMustResize BitVecNot