Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

lib/zstd/compress/zstd_compress_superblock.c ZSTD_compressSubBlock_literal() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 1 val32 10-11,26-4294967291
DATA_SOURCE 0 memPtr $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_compress_superblock.c ZSTD_compressSubBlock_literal() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 1 val32 14-15,30-u32max
DATA_SOURCE 0 memPtr $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_compress.c ZSTD_compressSequences() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
DATA_SOURCE 1 val32 r xxh64_digest
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_compressSequences_internal() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 1 val32 1
DATA_SOURCE 0 memPtr $1
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_writeEpilogue() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 *memPtr 0-255
DATA_SOURCE 1 val32 r xxh64_digest
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_compress.c ZSTD_writeFrameHeader() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 1 val32 4247762216
BUF_SIZE 0 memPtr (-1),8192,524288
BUF_SIZE 0 memPtr (-1),8192,524288
DATA_SOURCE 0 memPtr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte
HALF_LOCKED2 bh

lib/zstd/compress/zstd_compress.c ZSTD_writeFrameHeader() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 *memPtr 0-255
DATA_SOURCE 1 val32 $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte
HALF_LOCKED2 bh

lib/zstd/compress/zstd_compress.c ZSTD_writeFrameHeader() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 *memPtr 0-255
DATA_SOURCE 1 val32 $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte
UNITS 1 val32 unit_byte
HALF_LOCKED2 bh

lib/zstd/compress/zstd_compress.c ZSTD_writeSkippableFrame() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 1 val32 407710288-407710303
DATA_SOURCE 0 memPtr $0
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_writeSkippableFrame() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4096-ptr_max
PARAM_VALUE 0 *memPtr 0-255
DATA_SOURCE 1 val32 $3
NOCHECK_CALL

lib/zstd/decompress/zstd_decompress.c ZSTD_getFrameHeader_advanced() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4838494144616706048
PARAM_VALUE 1 val32 4247762216
BUF_SIZE 0 memPtr 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/decompress/zstd_decompress.c ZSTD_getFrameHeader_advanced() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 0 memPtr 4838494144616706048
PARAM_VALUE 1 val32 407710288
BUF_SIZE 0 memPtr 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 memPtr

lib/zstd/compress/zstd_compress_literals.c ZSTD_compressLiterals() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 1 val32 10-11,26-4294967291
DATA_SOURCE 0 memPtr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte
HALF_LOCKED2 bh

lib/zstd/compress/zstd_compress_literals.c ZSTD_compressLiterals() -> MEM_writeLE32()

Type Parameter Key Value
PARAM_VALUE 1 val32 14-15,30-u32max
DATA_SOURCE 0 memPtr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte
HALF_LOCKED2 bh

lib/zstd/compress/zstd_compress_literals.c ZSTD_compressRleLiteralsBlock() -> MEM_writeLE32()

Type Parameter Key Value
CAPPED_DATA 1 val32 1
DATA_SOURCE 0 memPtr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte

lib/zstd/compress/zstd_compress_literals.c ZSTD_noCompressLiterals() -> MEM_writeLE32()

Type Parameter Key Value
DATA_SOURCE 0 memPtr $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 memPtr unit_byte