Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/test_xarray.c check_store_range() -> __check_store_range()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 first 0-127
PARAM_VALUE 2 last 0-127
DATA_SOURCE 0 xa $0
FUZZY_MAX 1 first 127
PARAM_COMPARE 1 first <= $2
PARAM_COMPARE 1 first <= $2
PARAM_COMPARE 2 last >= $1
HARD_MAX 1 first 127
NOCHECK_CALL

lib/test_xarray.c check_store_range() -> __check_store_range()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 first 128-255
PARAM_VALUE 2 last 128-255
CAPPED_DATA 1 first 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_range() -> __check_store_range()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 first 4095-4222
PARAM_VALUE 2 last 4095-4222
CAPPED_DATA 1 first 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_range() -> __check_store_range()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 first 4096-4223
PARAM_VALUE 2 last 4096-4223
CAPPED_DATA 1 first 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_range() -> __check_store_range()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 first 123456-123583
PARAM_VALUE 2 last 123456-123583
CAPPED_DATA 1 first 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL

lib/test_xarray.c check_store_range() -> __check_store_range()

Type Parameter Key Value
PARAM_VALUE 0 xa 5024146686711472128
PARAM_VALUE 0 xa->xa_head 0
PARAM_VALUE 1 first 16777216-16777343
PARAM_VALUE 2 last 16777216-16777343
CAPPED_DATA 1 first 1
DATA_SOURCE 0 xa $0
NOCHECK_CALL