BitVecForeachInRange

Documentation

API Reference

Description

Iterate over bits in a specific range of the given bitvector bv. This is a convenience macro that iterates over a range 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 variable to be used which’ll contain bit value of the current bit.
`start`	in	Starting index (inclusive).
`end`	in	Ending index (exclusive).

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.Foreach.c:197:

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

In BitVec.Foreach.c:212:

        u64 false_count = 0;
    
        BitVecForeachInRange(&bv, bit, 1, 3) {
            // Should iterate over indices 1, 2
            // Values: true, true

In BitVec.Foreach.c:361:

        // Test range with start == end (should not execute)
        int count = 0;
        BitVecForeachInRange(&bv, bit, 5, 5) {
            (void)bit;
            count++; // Should not execute

In BitVec.Foreach.c:369:

        // Test range with single element
        count = 0;
        BitVecForeachInRange(&bv, bit, 3, 4) {
            count++;
            result = result && (bit == false); // 3 % 2 != 0

In BitVec.Foreach.c:377:

        // Test range at boundaries
        count = 0;
        BitVecForeachInRange(&bv, bit, 0, 2) {
            (void)bit;
            count++;

In BitVec.Foreach.c:385:

        // Test range at the end of bitvector
        count = 0;
        BitVecForeachInRange(&bv, bit, 8, 10) {
            (void)bit;
            count++;

In BitVec.Foreach.Simple.c:197:

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

In BitVec.Foreach.Simple.c:212:

        u64 false_count = 0;
    
        BitVecForeachInRange(&bv, bit, 1, 3) {
            // Should iterate over indices 1, 2
            // Values: true, true

In BitVec.Foreach.Simple.c:361:

        // Test range with start == end (should not execute)
        int count = 0;
        BitVecForeachInRange(&bv, bit, 5, 5) {
            (void)bit;
            count++; // Should not execute

In BitVec.Foreach.Simple.c:369:

        // Test range with single element
        count = 0;
        BitVecForeachInRange(&bv, bit, 3, 4) {
            count++;
            result = result && (bit == false); // 3 % 2 != 0

In BitVec.Foreach.Simple.c:377:

        // Test range at boundaries
        count = 0;
        BitVecForeachInRange(&bv, bit, 0, 2) {
            (void)bit;
            count++;

In BitVec.Foreach.Simple.c:385:

        // Test range at the end of bitvector
        count = 0;
        BitVecForeachInRange(&bv, bit, 8, 10) {
            (void)bit;
            count++;

Last updated on April 20, 2026

BitVecForeachIdx BitVecForeachInRangeIdx