BitVecAny

Function
October 8, 2025

Table of Contents

`BitVecAny`

Description

Check if any bit in bitvector matches the given value.

Parameters

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

Usage example (from documentation)

  bool any_set = BitVecAny(&flags, true);

Usage example (Cross-references)

In
In
In
In
In
In
In
In
In
In
In
In
In
In
In
In
In
In
In
In
In rogrammer/MisraStdC/blob/master/Source/Misra/Std/Container/BitVec.c#L1018 target=_blank>BitVec.c:1018:
} bool BitVecAny(BitVec *bv, bool value) { ValidateBitVec(bv); return BitVecFind(bv, value) != SIZE_MAX; BitVec.c:1024:
bool BitVecNone(BitVec *bv, bool value) { return !BitVecAny(bv, value); } BitVec.Access.Simple.c:486:
result = result && BitVecAll(&bv, true); result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); BitVec.Access.Simple.c:487:
result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); result = result && BitVecNone(&bv, false); BitVec.Access.Simple.c:498:
result = result && !BitVecAll(&bv, true); result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); BitVec.Access.Simple.c:499:
result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); result = result && !BitVecNone(&bv, false); BitVec.Access.Simple.c:511:
result = result && !BitVecAll(&bv, true); result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); BitVec.Access.Simple.c:512:
result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); result = result && !BitVecNone(&bv, false); BitVec.Access.Simple.c:599:
result = result && BitVecAll(&bv, true); result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); BitVec.Access.Simple.c:600:
result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); result = result && BitVecNone(&bv, false); BitVec.Access.Simple.c:608:
result = result && BitVecAll(&bv, true); result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); BitVec.Access.Simple.c:609:
result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); // Test large bitvector with specific patterns BitVec.Access.Simple.c:622:
BitVecSet(&bv, 500, false); result = result && !BitVecAll(&bv, true); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); BitVec.Access.Simple.c:623:
result = result && !BitVecAll(&bv, true); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); BitVecDeinit(&bv); BitVec.Access.c:663:
// Test BitVecAll, BitVecAny, BitVecNone functions style=color:#75715e> bool test_bitvec_predicate_functions(void) { WriteFmt("Testing BitVecAll, BitVecAny, BitVecNone functions\n"); BitVec bv = BitVecInit(); BitVec.Access.c:675:
result = result && BitVecAll(&bv, true); result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); BitVec.Access.c:676:
result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); result = result && BitVecNone(&bv, false); BitVec.Access.c:688:
result = result && !BitVecAll(&bv, true); result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); BitVec.Access.c:689:
result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); result = result && !BitVecNone(&bv, false); BitVec.Access.c:701:
result = result && !BitVecAll(&bv, true); result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); BitVec.Access.c:702:

    result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); result = result && !BitVecNone(&bv, true); result = result && !BitVecNone(&bv, false); BitVec.Access.c:801:

    result = result && BitVecAll(&bv, true); result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); BitVec.Access.c:802:    result = result && BitVecAll(&bv, false); result = result && !BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); result = result && BitVecNone(&bv, true); result = result && BitVecNone(&bv, false); BitVec.Access.c:810:    result = result && BitVecAll(&bv, true); result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false); BitVec.Access.c:811:    result = result && !BitVecAll(&bv, false); result = result && BitVecAny(&bv, true); result = result && !BitVecAny(&bv, false);

// Test large bitvector with specific patterns BitVec.Access.c:824:    BitVecSet(&bv, 500, false); result = result && !BitVecAll(&bv, true); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false); BitVec.Access.c:825:    result = result && !BitVecAll(&bv, true); result = result && BitVecAny(&bv, true); result = result && BitVecAny(&bv, false);

BitVecDeinit(&bv);
Tags :
Bit vec
Any
Check
Predicate
Share :






Related Posts
BitVecCountOnes

Function
BitVecCountOnes Description Count number of bits set to 1 in bitvector.
Read More
BitVecFindLast

Function
BitVecFindLast Description Find index of last occurrence of a specific bit value.
Read More
BitVecIsSorted

Function
BitVecIsSorted Description Check if bits in bitvector are in sorted order. Useful for certain algorithms and data structures.
Read More

BitVecAny

`BitVecAny`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

`Tags :`

`Share :`

`Related Posts`

`BitVecCountOnes`

`BitVecFindLast`

`BitVecIsSorted`