MisraStdC

BitVecInsertRange

Function

BitVecInsertRange Description Insert multiple bits of the same value at a specific position. All existing bits at and after the position are shifted right.

BitVecCompareRange

Function

BitVecCompareRange Description Compare ranges of two bitvectors lexicographically.

BitVecEqualsRange

Function

BitVecEqualsRange Description Compare specific ranges of two bitvectors for equality.

BitVecRemoveRange

Function

BitVecRemoveRange Description Remove multiple consecutive bits starting at a specific position. All bits after the removed range are shifted left.

CLAMP

Macro

CLAMP Description Clamps the value of x to be within the inclusive range [lo, hi].

IN_RANGE

Macro

IN_RANGE Description Checks if the value x is within the inclusive range [lo, hi].