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);

Success

Returns true when every bit equals value (vacuously true on an empty bitvector). The bitvector is not modified.

Failure

Returns false when at least one bit differs from value. The bitvector is not modified.

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1205:

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

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.Simple.c:531:

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

In BitVec.Access.Simple.c:532:

        }
        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:543:

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

In BitVec.Access.Simple.c:544:

        }
        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:556:

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

In BitVec.Access.Simple.c:557:

    
        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:653:

    
        // 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:654:

        // 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:662:

        // 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:663:

        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:672:

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

In BitVec.Access.Simple.c:673:

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

In BitVec.Access.Simple.c:677:

        // 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:736:

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecAll, BitVecAny, BitVecNone functions\n");
    
        BitVec bv     = BitVecInit(ALLOCATOR_OF(&alloc));

In BitVec.Access.c:746:

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

In BitVec.Access.c:747:

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

In BitVec.Access.c:759:

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

In BitVec.Access.c:760:

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

In BitVec.Access.c:772:

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

In BitVec.Access.c:773:

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

In BitVec.Access.c:881:

    
        // 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:882:

        // 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:890:

        // 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:891:

        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:900:

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

In BitVec.Access.c:901:

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

In BitVec.Access.c:905:

        // 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:964:

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

Last updated on June 4, 2026

ValidateStrs BitVecAllocator