BitVecFindPattern

Function
October 8, 2025

Table of Contents

`BitVecFindPattern`

Description

Find first occurrence of a bit pattern in the bitvector.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to search in
`pattern`	in	Pattern to search for

Usage example (from documentation)

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

Usage example (Cross-references)

In BitVec.c:1054:

    
    // Pattern search functions
    u64 BitVecFindPattern(BitVec *bv, BitVec *pattern) {
    ValidateBitVec(bv);
    ValidateBitVec(pattern);

In BitVec.c:1482:

    ValidateBitVec(new_pattern);
    
    u64 pos = BitVecFindPattern(bv, old_pattern);
    if (pos == SIZE_MAX) {
    return false;

In BitVec.Pattern.c:83:

    
    // Test basic pattern finding
    u64 index = BitVecFindPattern(&source, &pattern);
    result    = result && (index == 1); // Should find pattern at index 1 (101...)

In BitVec.Pattern.c:93:

    // Test BitVecFindPattern function comprehensively
    bool test_bitvec_find_pattern(void) {
    WriteFmt("Testing BitVecFindPattern function\n");
    
    BitVec source  = BitVecInit();

In BitVec.Pattern.c:110:

    BitVecPush(&pattern, true);
    
    u64 index = BitVecFindPattern(&source, &pattern);
    result    = result && (index == 1); // First occurrence at index 1

In BitVec.Pattern.c:116:

    BitVecClear(&pattern);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == 0); // First true bit at index 0

In BitVec.Pattern.c:124:

    BitVecPush(&pattern, false);
    BitVecPush(&pattern, false);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == SIZE_MAX); // Should not find three consecutive falses

In BitVec.Pattern.c:252:

    BitVecPush(&source, true);
    BitVecPush(&source, false);
    u64 index = BitVecFindPattern(&source, &pattern); // Empty pattern
    result    = result && (index == SIZE_MAX);

In BitVec.Pattern.c:260:

    BitVecPush(&pattern, true);
    }
    index  = BitVecFindPattern(&source, &pattern); // Pattern length 5, source length 2
    result = result && (index == SIZE_MAX);

In BitVec.Pattern.c:267:

    BitVecClear(&pattern);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == SIZE_MAX);

In BitVec.Pattern.c:279:

    BitVecPush(&pattern, false);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == 0);

In BitVec.Pattern.c:287:

    BitVecPush(&source, true);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == 0);

In BitVec.Pattern.c:291:

    
    BitVecPush(&pattern, false); // Now pattern is longer than source
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == SIZE_MAX);

In BitVec.Pattern.c:338:

    BitVecPush(&pattern, false);
    
    u64 index = BitVecFindPattern(&source, &pattern);
    result    = result && (index == 0); // Should find first pattern at beginning

In BitVec.Pattern.c:353:

    // Deadend test 1: BitVecFindPattern with NULL source
    bool test_bitvec_find_pattern_null_source(void) {
    WriteFmt("Testing BitVecFindPattern(NULL, pattern) - should fatal\n");
    
    BitVec pattern = BitVecInit();

In BitVec.Pattern.c:358:

    BitVecPush(&pattern, true);
    
    BitVecFindPattern(NULL, &pattern); // Should cause LOG_FATAL
    
    BitVecDeinit(&pattern);

In BitVec.Pattern.c:366:

    // Deadend test 2: BitVecFindPattern with NULL pattern
    bool test_bitvec_find_pattern_null_pattern(void) {
    WriteFmt("Testing BitVecFindPattern(source, NULL) - should fatal\n");
    
    BitVec source = BitVecInit();

In BitVec.Pattern.c:372:

    BitVecPush(&source, false);
    
    BitVecFindPattern(&source, NULL); // Should cause LOG_FATAL
    
    BitVecDeinit(&source);

In BitVec.Pattern.Deadend.c:36:

    // Deadend test 1: BitVecFindPattern with NULL source
    bool test_bitvec_find_pattern_null_source(void) {
    WriteFmt("Testing BitVecFindPattern(NULL, pattern) - should fatal\n");
    
    BitVec pattern = BitVecInit();

In BitVec.Pattern.Deadend.c:41:

    BitVecPush(&pattern, true);
    
    BitVecFindPattern(NULL, &pattern); // Should cause LOG_FATAL
    
    BitVecDeinit(&pattern);

In BitVec.Pattern.Deadend.c:49:

    // Deadend test 2: BitVecFindPattern with NULL pattern
    bool test_bitvec_find_pattern_null_pattern(void) {
    WriteFmt("Testing BitVecFindPattern(source, NULL) - should fatal\n");
    
    BitVec source = BitVecInit();

In BitVec.Pattern.Deadend.c:55:

    BitVecPush(&source, false);
    
    BitVecFindPattern(&source, NULL); // Should cause LOG_FATAL
    
    BitVecDeinit(&source);

In BitVec.Pattern.Simple.c:83:

    
    // Test basic pattern finding
    u64 index = BitVecFindPattern(&source, &pattern);
    result    = result && (index == 1); // Should find pattern at index 1 (101...)

In BitVec.Pattern.Simple.c:93:

    // Test BitVecFindPattern function comprehensively
    bool test_bitvec_find_pattern(void) {
    WriteFmt("Testing BitVecFindPattern function\n");
    
    BitVec source  = BitVecInit();

In BitVec.Pattern.Simple.c:110:

    BitVecPush(&pattern, true);
    
    u64 index = BitVecFindPattern(&source, &pattern);
    result    = result && (index == 1); // First occurrence at index 1

In BitVec.Pattern.Simple.c:116:

    BitVecClear(&pattern);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == 0); // First true bit at index 0

In BitVec.Pattern.Simple.c:124:

    BitVecPush(&pattern, false);
    BitVecPush(&pattern, false);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == SIZE_MAX); // Should not find three consecutive falses

In BitVec.Pattern.Simple.c:252:

    BitVecPush(&source, true);
    BitVecPush(&source, false);
    u64 index = BitVecFindPattern(&source, &pattern); // Empty pattern
    result    = result && (index == SIZE_MAX);

In BitVec.Pattern.Simple.c:260:

    BitVecPush(&pattern, true);
    }
    index  = BitVecFindPattern(&source, &pattern); // Pattern length 5, source length 2
    result = result && (index == SIZE_MAX);

In BitVec.Pattern.Simple.c:267:

    BitVecClear(&pattern);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == SIZE_MAX);

In BitVec.Pattern.Simple.c:279:

    BitVecPush(&pattern, false);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == 0);

In BitVec.Pattern.Simple.c:287:

    BitVecPush(&source, true);
    BitVecPush(&pattern, true);
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == 0);

In BitVec.Pattern.Simple.c:291:

    
    BitVecPush(&pattern, false); // Now pattern is longer than source
    index  = BitVecFindPattern(&source, &pattern);
    result = result && (index == SIZE_MAX);

In BitVec.Pattern.Simple.c:338:

    BitVecPush(&pattern, false);
    
    u64 index = BitVecFindPattern(&source, &pattern);
    result    = result && (index == 0); // Should find first pattern at beginning

In BitVec.Pattern.Simple.c:480:

    // BitVecFindPattern tests (replacing BitVecContains)
    bool test_bitvec_contains_basic(void) {
    WriteFmt("Testing BitVecFindPattern basic functionality\n");
    
    BitVec source  = BitVecInit();

In BitVec.Pattern.Simple.c:500:

    BitVecPush(&pattern, true);
    
    result = result && (BitVecFindPattern(&source, &pattern) != SIZE_MAX);
    
    // Test non-existing pattern: 000

In BitVec.Pattern.Simple.c:508:

    BitVecPush(&pattern, false);
    
    result = result && (BitVecFindPattern(&source, &pattern) == SIZE_MAX);
    
    BitVecDeinit(&source);

BitVecFindPattern

`BitVecFindPattern`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

Tags :

Share :

Related Posts

BitVecToInteger

BitVecStartsWith

BitVecFind