BitVecForeachIdx

Documentation

API Reference

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)

Usage examples (Cross-references)

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 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 Foreach.h:55:

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

Last updated on April 20, 2026

BitVecForeach BitVecForeachInRange