BitVecFindLast

Function
August 22, 2025

Table of Contents

`BitVecFindLast`

Description

Find index of last occurrence of a specific bit value.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to search in
`value`	in	Bit value to find (true or false)

Usage example (from documentation)

  u64 index = BitVecFindLast(&flags, false);

Usage example (Cross-references)

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#L400 target=_blank>BitVec.c:400:
ValidateBitVec(bv); u64 pos = BitVecFindLast(bv, value); if (pos != SIZE_MAX) { BitVecRemove(bv, pos); BitVec.c:990:
} u64 BitVecFindLast(BitVec *bv, bool value) { ValidateBitVec(bv); BitVec.Access.Simple.c:456:
// Test BitVecFindLast style=color:#75715e> result = result && (BitVecFindLast(&bv, true) == 7); // Last true at index 7 style=color:#75715e> result = result && (BitVecFindLast(&bv, false) == 6); // Last false at index 6 BitVec.Access.Simple.c:457:
// Test BitVecFindLast style=color:#75715e> result = result && (BitVecFindLast(&bv, true) == 7); // Last true at index 7 style=color:#75715e> result = result && (BitVecFindLast(&bv, false) == 6); // Last false at index 6 style=color:#75715e> // Test with all same values BitVec.Access.Simple.c:465:
} result = result && (BitVecFind(&bv, true) == 0); result = result && (BitVecFindLast(&bv, true) == 4); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); BitVec.Access.Simple.c:467:
result = result && (BitVecFindLast(&bv, true) == 4); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); BitVecDeinit(&bv); BitVec.Access.Simple.c:567:
result = result && (BitVecFind(&bv, true) == SIZE_MAX); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, true) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); BitVec.Access.Simple.c:568:
result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, true) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); // Test single element BitVec.Access.Simple.c:573:
BitVecPush(&bv, true); result = result && (BitVecFind(&bv, true) == 0); result = result && (BitVecFindLast(&bv, true) == 0); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); BitVec.Access.Simple.c:575:
result = result && (BitVecFindLast(&bv, true) == 0); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); // Test with large bitvector BitVec.Access.Simple.c:583:
} result = result && (BitVecFind(&bv, true) == 500); result = result && (BitVecFindLast(&bv, true) == 999); BitVecDeinit(&bv); BitVec.Access.c:619:
// Test BitVecFind and BitVecFindLast functions style=color:#75715e> bool test_bitvec_find_functions(void) { printf("Testing BitVecFind and BitVecFindLast functions\n"); BitVec bv = BitVecInit(); BitVec.Access.c:641:
// Test finding last true (should be at index 5) style=color:#75715e> result = result && (BitVecFindLast(&bv, true) == 5); // Test finding last false (should be at index 7) BitVec.Access.c:644:
// Test finding last false (should be at index 7) style=color:#75715e> result = result && (BitVecFindLast(&bv, false) == 7); // Test with all same values BitVec.Access.c:653:

 result = result && (BitVecFind(&bv, true) == 0); result = result && (BitVecFindLast(&bv, true) == 2); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); BitVec.Access.c:655:

    result = result && (BitVecFindLast(&bv, true) == 2); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

BitVecDeinit(&bv); BitVec.Access.c:769:    result = result && (BitVecFind(&bv, true) == SIZE_MAX); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, true) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); BitVec.Access.c:770:    result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, true) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

// Test single element BitVec.Access.c:775:    BitVecPush(&bv, true); result = result && (BitVecFind(&bv, true) == 0); result = result && (BitVecFindLast(&bv, true) == 0); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX); BitVec.Access.c:777:    result = result && (BitVecFindLast(&bv, true) == 0); result = result && (BitVecFind(&bv, false) == SIZE_MAX); result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

// Test with large bitvector BitVec.Access.c:785:    } result = result && (BitVecFind(&bv, true) == 500); result = result && (BitVecFindLast(&bv, true) == 999);

BitVecDeinit(&bv);
Tags :
Bit vec
Find last
Search
Access
Share :






Related Posts
BitVecGet

Function
BitVecGet Description Get the value of bit at given index in bitvector.
Read More
BitVecFindLastPattern

Function
BitVecFindLastPattern Description Find last occurrence of a bit pattern in the bitvector.
Read More
BitVecSet

Function
BitVecSet Description Set the value of bit at given index in bitvector.
Read More

BitVecFindLast

`BitVecFindLast`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

`Tags :`

`Share :`

`Related Posts`

`BitVecGet`

`BitVecFindLastPattern`

`BitVecSet`