Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_clear() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws->objectEnd (-1),16384
BUF_SIZE 0 ws->tableEnd (-1),16384
BUF_SIZE 0 ws->tableValidEnd (-1),16384
BUF_SIZE 0 ws->workspace (-1),16384
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_clear_tables() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws->tableEnd 16384
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_init() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws->objectEnd (-1),16384
BUF_SIZE 0 ws->tableValidEnd (-1),16384
BUF_SIZE 0 ws->workspace (-1),16384
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_internal_advance_phase() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws->tableValidEnd (-1),16384
CAPPED_DATA 0 ws->phase 1
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_mark_tables_clean() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws->tableValidEnd (-1),16384
DATA_SOURCE 0 ws $0
PARAM_COMPARE 0 ws->tableEnd <= $0->tableValidEnd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_mark_tables_dirty() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws->tableValidEnd 16384
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_reserve_internal_buffer_space() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_reserve_object() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws (-1),72
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/zstd/compress/zstd_compress.c ZSTD_cwksp_reserve_table() -> ZSTD_cwksp_assert_internal_consistency()

Type Parameter Key Value
PARAM_VALUE 0 ws 4096-ptr_max
BUF_SIZE 0 ws (-1),72
BUF_SIZE 0 ws (-1),72
DATA_SOURCE 0 ws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL