Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/zstd/compress/zstd_opt.c FSE_initCState() -> MEM_read16()

Type Parameter Key Value
BUF_SIZE 0 memPtr 772,1316,1452
BUF_SIZE 0 memPtr 772,1316,1452
DATA_SOURCE 0 memPtr $1

lib/zstd/compress/zstd_opt.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
DATA_SOURCE 0 memPtr $1 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_opt.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 0-18446744073709551614
DATA_SOURCE 0 memPtr $0 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_ldm.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
DATA_SOURCE 0 memPtr $1 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_ldm.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-18446744073709551614
DATA_SOURCE 0 memPtr $0 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 0 memPtr unit_byte

lib/zstd/compress/fse_compress.c FSE_initCState() -> MEM_read16()

Type Parameter Key Value
BUF_SIZE 0 memPtr 236
BUF_SIZE 0 memPtr 236
DATA_SOURCE 0 memPtr $1
RX_PATH
TASK_NOT_RUNNING

lib/zstd/compress/zstd_compress.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
BUF_SIZE 0 memPtr (-1),4096
DATA_SOURCE 0 memPtr $1 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 0 memPtr unit_byte
USER_PTR 0 memPtr

lib/zstd/compress/zstd_compress.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 0-18446744073709551614
DATA_SOURCE 0 memPtr $0 [m]
RX_PATH
TASK_NOT_RUNNING
UNITS 0 memPtr unit_byte
USER_PTR 0 memPtr

lib/zstd/compress/zstd_compress_sequences.c FSE_initCState() -> MEM_read16()

Type Parameter Key Value
BUF_SIZE 0 memPtr 772,1316,1452
BUF_SIZE 0 memPtr 772,1316,1452
DATA_SOURCE 0 memPtr $1
RX_PATH
TASK_NOT_RUNNING

lib/zstd/compress/zstd_compress_sequences.c ZSTD_getFSEMaxSymbolValue() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-u16max
RX_PATH
TASK_NOT_RUNNING

lib/zstd/compress/zstd_fast.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
DATA_SOURCE 0 memPtr $1 [m]
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_fast.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 0-18446744073709547519
DATA_SOURCE 0 memPtr $0 [m]
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_double_fast.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
DATA_SOURCE 0 memPtr $1 [m]
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_double_fast.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 0-18446744073709547519
DATA_SOURCE 0 memPtr $0 [m]
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_lazy.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
DATA_SOURCE 0 memPtr $1 [m]
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_lazy.c ZSTD_count() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 0-18446744073709551614
DATA_SOURCE 0 memPtr $0 [m]
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_preSplit.c hash2() -> MEM_read16()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
DATA_SOURCE 0 memPtr $0