BitVecFind

Function
August 22, 2025

Table of Contents

`BitVecFind`

Description

Find index of first occurrence of a specific bit value.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to search in
`value`	in	Bit value to find (true or false)

Usage example (from documentation)

  u64 index = BitVecFind(&flags, true);
  if (index != SIZE_MAX) { /* found at index */ }

Usage example (Cross-references)

In BitVec.c:388:

    ValidateBitVec(bv);
    
    u64 pos = BitVecFind(bv, value);
    if (pos != SIZE_MAX) {
    BitVecRemove(bv, pos);

In BitVec.c:979:

    // Missing Access functions implementation
    
    u64 BitVecFind(BitVec *bv, bool value) {
    ValidateBitVec(bv);

In BitVec.c:1020:

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

In BitVec.Access.Simple.c:441:

    // Test BitVecFind functions (Find, FindLast)
    bool test_bitvec_find_functions(void) {
    printf("Testing BitVecFind functions\n");
    
    BitVec bv     = BitVecInit();

In BitVec.Access.Simple.c:452:

    
    // Test BitVecFind
    result = result && (BitVecFind(&bv, true) == 1);  // First true at index 1
    result = result && (BitVecFind(&bv, false) == 0); // First false at index 0

In BitVec.Access.Simple.c:453:

    // Test BitVecFind
    result = result && (BitVecFind(&bv, true) == 1);  // First true at index 1
    result = result && (BitVecFind(&bv, false) == 0); // First false at index 0
    
    // Test BitVecFindLast

In BitVec.Access.Simple.c:464:

    BitVecPush(&bv, true);
    }
    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 4);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:466:

    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 4);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:559:

    // Edge case tests for Find functions
    bool test_bitvec_find_edge_cases(void) {
    printf("Testing BitVecFind edge cases\n");
    
    BitVec bv     = BitVecInit();

In BitVec.Access.Simple.c:565:

    
    // Test empty bitvector
    result = result && (BitVecFind(&bv, true) == SIZE_MAX);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);

In BitVec.Access.Simple.c:566:

    // Test empty bitvector
    result = result && (BitVecFind(&bv, true) == SIZE_MAX);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:572:

    // Test single element
    BitVecPush(&bv, true);
    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 0);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:574:

    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 0);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:582:

    BitVecPush(&bv, i == 500 || i == 999); // Only indices 500 and 999 are true
    }
    result = result && (BitVecFind(&bv, true) == 500);
    result = result && (BitVecFindLast(&bv, true) == 999);

In BitVec.Access.Deadend.c:28:

    // Deadend tests - testing NULL pointers and invalid conditions that should cause fatal errors
    bool test_bitvec_find_deadend_tests(void) {
    printf("Testing BitVecFind deadend scenarios\n");
    
    // This should cause LOG_FATAL and terminate the program

In BitVec.Access.Deadend.c:31:

    
    // This should cause LOG_FATAL and terminate the program
    BitVecFind(NULL, true);
    
    return true; // Should never reach here

In BitVec.Access.c:619:

    // Test BitVecFind and BitVecFindLast functions
    bool test_bitvec_find_functions(void) {
    printf("Testing BitVecFind and BitVecFindLast functions\n");
    
    BitVec bv     = BitVecInit();

In BitVec.Access.c:635:

    
    // Test finding first true (should be at index 0)
    result = result && (BitVecFind(&bv, true) == 0);
    
    // Test finding first false (should be at index 1)

In BitVec.Access.c:638:

    
    // Test finding first false (should be at index 1)
    result = result && (BitVecFind(&bv, false) == 1);
    
    // Test finding last true (should be at index 5)

In BitVec.Access.c:652:

    BitVecPush(&bv, true);
    
    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 2);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);

In BitVec.Access.c:654:

    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 2);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.c:761:

    // Edge case tests for Find functions
    bool test_bitvec_find_edge_cases(void) {
    printf("Testing BitVecFind edge cases\n");
    
    BitVec bv     = BitVecInit();

In BitVec.Access.c:767:

    
    // Test empty bitvector
    result = result && (BitVecFind(&bv, true) == SIZE_MAX);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);

In BitVec.Access.c:768:

    // Test empty bitvector
    result = result && (BitVecFind(&bv, true) == SIZE_MAX);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.c:774:

    // Test single element
    BitVecPush(&bv, true);
    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 0);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);

In BitVec.Access.c:776:

    result = result && (BitVecFind(&bv, true) == 0);
    result = result && (BitVecFindLast(&bv, true) == 0);
    result = result && (BitVecFind(&bv, false) == SIZE_MAX);
    result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.c:784:

    BitVecPush(&bv, i == 500 || i == 999); // Only indices 500 and 999 are true
    }
    result = result && (BitVecFind(&bv, true) == 500);
    result = result && (BitVecFindLast(&bv, true) == 999);

In BitVec.Access.c:866:

    // Deadend tests - testing NULL pointers and invalid conditions that should cause fatal errors
    bool test_bitvec_find_deadend_tests(void) {
    printf("Testing BitVecFind deadend scenarios\n");
    
    // This should cause LOG_FATAL and terminate the program

In BitVec.Access.c:869:

    
    // This should cause LOG_FATAL and terminate the program
    BitVecFind(NULL, true);
    
    return true; // Should never reach here

BitVecFind

`BitVecFind`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

Tags :

Share :

Related Posts

BitVecFlip

BitVecCountZeros

BitVecFindAllPattern