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);

Returns

true if no bits match the value

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1023:

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

In BitVec.Access.Simple.c:488:

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

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

In BitVec.Access.Simple.c:500:

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

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

In BitVec.Access.Simple.c:513:

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

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

In BitVec.Access.Simple.c:601:

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

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

In BitVec.Access.c:663:

    // Test BitVecAll, BitVecAny, BitVecNone functions
    bool test_bitvec_predicate_functions(void) {
        WriteFmt("Testing BitVecAll, BitVecAny, BitVecNone functions\n");
    
        BitVec bv     = BitVecInit();

In BitVec.Access.c:677:

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

In BitVec.Access.c:678:

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

In BitVec.Access.c:690:

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

In BitVec.Access.c:691:

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

In BitVec.Access.c:703:

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

In BitVec.Access.c:704:

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

In BitVec.Access.c:803:

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

In BitVec.Access.c:804:

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

Last updated on April 20, 2026

BitVecMatches BitVecNot