Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/tests/memcpy_kunit.c memmove_overlap_test() -> next_step()

Type Parameter Key Value
PARAM_VALUE 0 idx 0-133
PARAM_VALUE 1 start 0-126
PARAM_VALUE 2 end 1-135
PARAM_VALUE 3 inc 7
CAPPED_DATA 0 idx 1
CAPPED_DATA 1 start 1
CAPPED_DATA 2 end 1
PARAM_COMPARE 0 idx < $2
PARAM_COMPARE 2 end > $0
UNITS 0 idx unit_byte
UNITS 1 start unit_byte
UNITS 2 end unit_byte

lib/tests/memcpy_kunit.c memmove_overlap_test() -> next_step()

Type Parameter Key Value
PARAM_VALUE 0 idx 1-2,8
PARAM_VALUE 1 start 1
PARAM_VALUE 2 end 1025
PARAM_VALUE 3 inc 7
PARAM_COMPARE 0 idx < $2
PARAM_COMPARE 0 idx >= $1
PARAM_COMPARE 1 start < $2
PARAM_COMPARE 1 start <= $0
PARAM_COMPARE 2 end > $0
PARAM_COMPARE 2 end > $1
UNITS 0 idx unit_byte
UNITS 2 end unit_byte