BitVecForeachIdx

Macro
October 8, 2025

Table of Contents

`BitVecForeachIdx`

Description

Iterate over each bit var of given bitvector bv at each index idx into the bitvector. The variables var and idx declared and defined by this macro. idx will start from 0 and will go till bv->length - 1

Parameters

Name	Direction	Description
`bv`	in,out	Bitvector to iterate over.
`var`	in	Name of variable to be used which’ll contain bit value at iterated index `idx`
`idx`	in	Name of variable to be used for iterating over indices.

Usage example (Cross-references)

In BitVec.Foreach.Simple.c:36:

    // Test BitVecForeachIdx macro
    bool test_bitvec_foreach_idx(void) {
    WriteFmt("Testing BitVecForeachIdx macro\n");
    
    BitVec bv = BitVecInit();

In BitVec.Foreach.Simple.c:50:

    bool pattern_correct = true;
    
    BitVecForeachIdx(&bv, bit, idx) {
    if (idx == 0 || idx == 2) {
    pattern_correct = pattern_correct && (bit == true);

In BitVec.Foreach.Simple.c:279:

    
    // Test foreach idx on empty bitvec
    BitVecForeachIdx(&bv, bit, idx) {
    (void)bit;
    result = false; // Should not execute

In BitVec.Foreach.Simple.c:286:

    // Test foreach idx on single element
    BitVecPush(&bv, false);
    BitVecForeachIdx(&bv, bit, idx) {
    result   = result && (idx == 0);
    result   = result && (bit == false);

In BitVec.Foreach.Simple.c:300:

    
    u64 expected_idx = 0;
    BitVecForeachIdx(&bv, bit, idx) {
    (void)bit;
    result = result && (idx == expected_idx);

In BitVec.Foreach.Simple.c:415:

    count1++;
    }
    BitVecForeachIdx(&bv, bitval, i) {
    (void)bitval;
    count2++;

In BitVec.Foreach.c:36:

    // Test BitVecForeachIdx macro
    bool test_bitvec_foreach_idx(void) {
    WriteFmt("Testing BitVecForeachIdx macro\n");
    
    BitVec bv = BitVecInit();

In BitVec.Foreach.c:50:

    bool pattern_correct = true;
    
    BitVecForeachIdx(&bv, bit, idx) {
    if (idx == 0 || idx == 2) {
    pattern_correct = pattern_correct && (bit == true);

In BitVec.Foreach.c:279:

    
    // Test foreach idx on empty bitvec
    BitVecForeachIdx(&bv, bit, idx) {
    (void)bit;
    result = false; // Should not execute

In BitVec.Foreach.c:286:

    // Test foreach idx on single element
    BitVecPush(&bv, false);
    BitVecForeachIdx(&bv, bit, idx) {
    result   = result && (idx == 0);
    result   = result && (bit == false);

In BitVec.Foreach.c:300:

    
    u64 expected_idx = 0;
    BitVecForeachIdx(&bv, bit, idx) {
    (void)bit;
    result = result && (idx == expected_idx);

In BitVec.Foreach.c:415:

    count1++;
    }
    BitVecForeachIdx(&bv, bitval, i) {
    (void)bitval;
    count2++;

In Foreach.h:55:

    ///              current bit during iteration. The type of `var` will be `bool`.
    ///
    #define BitVecForeach(bv, var) BitVecForeachIdx((bv), (var), UNPL(iter))
    
    ///

BitVecForeachIdx

BitVecForeachIdx

Description

Parameters

Usage example (Cross-references)

Share :

`BitVecForeachIdx`