BitVecForeach

Documentation

API Reference

BitVecForeach

Description

Iterate over each bit var of the given bitvector bv. This is a convenience macro that iterates forward using an internally managed index. The variable var is declared and defined by this macro.

Parameters

Name	Direction	Description
`bv`	in,out	Bitvector to iterate over.
`var`	in	Name of the variable to be used which will contain the value of the current bit during iteration. The type of `var` will be `bool`.

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.Foreach.c:69:

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

In BitVec.Foreach.c:82:

        u64 false_count = 0;
    
        BitVecForeach(&bv, bit) {
            if (bit) {
                true_count++;

In BitVec.Foreach.c:239:

    
        // Test foreach on empty bitvec
        BitVecForeach(&bv, bit) {
            (void)bit;
            count++; // Should not execute

In BitVec.Foreach.c:248:

        BitVecPush(&bv, true);
        count = 0;
        BitVecForeach(&bv, bit) {
            count++;
            result = result && (bit == true);

In BitVec.Foreach.c:261:

    
        count = 0;
        BitVecForeach(&bv, bit) {
            (void)bit;
            count++;

In BitVec.Foreach.c:411:

            int count1 = 0, count2 = 0, count3 = 0, count4 = 0;
    
            BitVecForeach(&bv, bitval) {
                (void)bitval;
                count1++;

In BitVec.Foreach.c:703:

        // This should abort due to ValidateBitVec check
        int count = 0;
        BitVecForeach(&bv, bit) {
            (void)bit;
            count++;

In BitVec.Foreach.Simple.c:69:

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

In BitVec.Foreach.Simple.c:82:

        u64 false_count = 0;
    
        BitVecForeach(&bv, bit) {
            if (bit) {
                true_count++;

In BitVec.Foreach.Simple.c:239:

    
        // Test foreach on empty bitvec
        BitVecForeach(&bv, bit) {
            (void)bit;
            count++; // Should not execute

In BitVec.Foreach.Simple.c:248:

        BitVecPush(&bv, true);
        count = 0;
        BitVecForeach(&bv, bit) {
            count++;
            result = result && (bit == true);

In BitVec.Foreach.Simple.c:261:

    
        count = 0;
        BitVecForeach(&bv, bit) {
            (void)bit;
            count++;

In BitVec.Foreach.Simple.c:411:

            int count1 = 0, count2 = 0, count3 = 0, count4 = 0;
    
            BitVecForeach(&bv, bitval) {
                (void)bitval;
                count1++;

In BitVec.Foreach.Deadend.c:88:

        // This should abort due to ValidateBitVec check
        int count = 0;
        BitVecForeach(&bv, bit) {
            (void)bit;
            count++;

Last updated on April 20, 2026

BitVecEqualsRange BitVecForeachIdx