BitVecAll

Documentation

API Reference

BitVecAll

Description

Check if all bits in bitvector match the given value.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to check
`value`	in	Value to check against (true or false)

Usage example (from documentation)

  bool all_set = BitVecAll(&flags, true);

Returns

true if all bits match the value

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1007:

    }
    
    bool BitVecAll(BitVec *bv, bool value) {
        ValidateBitVec(bv);

In BitVec.Access.Simple.c:484:

            BitVecPush(&bv, true);
        }
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);

In BitVec.Access.Simple.c:485:

        }
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.Simple.c:496:

            BitVecPush(&bv, false);
        }
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);

In BitVec.Access.Simple.c:497:

        }
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.Simple.c:509:

        BitVecPush(&bv, true);
    
        result = result && !BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);

In BitVec.Access.Simple.c:510:

    
        result = result && !BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.Simple.c:597:

    
        // Test empty bitvector - all predicates should return true for empty set
        result = result && BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);

In BitVec.Access.Simple.c:598:

        // Test empty bitvector - all predicates should return true for empty set
        result = result && BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.Simple.c:606:

        // Test single element bitvector
        BitVecPush(&bv, true);
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);

In BitVec.Access.Simple.c:607:

        BitVecPush(&bv, true);
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.Simple.c:616:

            BitVecPush(&bv, true); // All true
        }
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);

In BitVec.Access.Simple.c:617:

        }
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
    
        // Change one bit to false

In BitVec.Access.Simple.c:621:

        // Change one bit to false
        BitVecSet(&bv, 500, false);
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.Deadend.c:40:

    
        // This should cause LOG_FATAL and terminate the program
        BitVecAll(NULL, true);
    
        return true; // Should never reach here

In BitVec.Access.c:663:

    // Test BitVecAll, BitVecAny, BitVecNone functions
    bool test_bitvec_predicate_functions(void) {
        WriteFmt("Testing BitVecAll, BitVecAny, BitVecNone functions\n");
    
        BitVec bv     = BitVecInit();

In BitVec.Access.c:673:

        BitVecPush(&bv, true);
    
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);

In BitVec.Access.c:674:

    
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.c:686:

        BitVecPush(&bv, false);
    
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);

In BitVec.Access.c:687:

    
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.c:699:

        BitVecPush(&bv, true);
    
        result = result && !BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);

In BitVec.Access.c:700:

    
        result = result && !BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.c:799:

    
        // Test empty bitvector - all predicates should return true for empty set
        result = result && BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);

In BitVec.Access.c:800:

        // Test empty bitvector - all predicates should return true for empty set
        result = result && BitVecAll(&bv, true);
        result = result && BitVecAll(&bv, false);
        result = result && !BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.c:808:

        // Test single element bitvector
        BitVecPush(&bv, true);
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);

In BitVec.Access.c:809:

        BitVecPush(&bv, true);
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
        result = result && BitVecAny(&bv, true);
        result = result && !BitVecAny(&bv, false);

In BitVec.Access.c:818:

            BitVecPush(&bv, true); // All true
        }
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);

In BitVec.Access.c:819:

        }
        result = result && BitVecAll(&bv, true);
        result = result && !BitVecAll(&bv, false);
    
        // Change one bit to false

In BitVec.Access.c:823:

        // Change one bit to false
        BitVecSet(&bv, 500, false);
        result = result && !BitVecAll(&bv, true);
        result = result && BitVecAny(&bv, true);
        result = result && BitVecAny(&bv, false);

In BitVec.Access.c:878:

    
        // This should cause LOG_FATAL and terminate the program
        BitVecAll(NULL, true);
    
        return true; // Should never reach here

Last updated on April 20, 2026

BitVec BitVecAny