BitVecForeachReverse

Documentation

API Reference

Description

Iterate over each bit var of the given bitvector bv in reverse order. This is a convenience macro that iterates backward 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:131:

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

In BitVec.Foreach.c:144:

        bool first_is_true = false; // Should be the last bit (true)
    
        BitVecForeachReverse(&bv, bit) {
            if (count == 0) {
                first_is_true = (bit == true);

In BitVec.Foreach.c:317:

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

In BitVec.Foreach.c:325:

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

In BitVec.Foreach.c:339:

        bool expected_sequence[] = {true, false, true}; // Reverse order
        int  seq_idx             = 0;
        BitVecForeachReverse(&bv, bit) {
            result = result && (bit == expected_sequence[seq_idx]);
            seq_idx++;

In BitVec.Foreach.c:419:

                count2++;
            }
            BitVecForeachReverse(&bv, bitval) {
                (void)bitval;
                count3++;

In BitVec.Foreach.Simple.c:131:

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

In BitVec.Foreach.Simple.c:144:

        bool first_is_true = false; // Should be the last bit (true)
    
        BitVecForeachReverse(&bv, bit) {
            if (count == 0) {
                first_is_true = (bit == true);

In BitVec.Foreach.Simple.c:317:

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

In BitVec.Foreach.Simple.c:325:

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

In BitVec.Foreach.Simple.c:339:

        bool expected_sequence[] = {true, false, true}; // Reverse order
        int  seq_idx             = 0;
        BitVecForeachReverse(&bv, bit) {
            result = result && (bit == expected_sequence[seq_idx]);
            seq_idx++;

In BitVec.Foreach.Simple.c:419:

                count2++;
            }
            BitVecForeachReverse(&bv, bitval) {
                (void)bitval;
                count3++;

Last updated on April 20, 2026

BitVecForeachInRangeIdx BitVecForeachReverseIdx