Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

crypto/deflate.c deflate_compress_one() -> acomp_walk_done_src()

Type Parameter Key Value
PARAM_VALUE 0 walk 7840291372716797952
PARAM_VALUE 0 walk->flags 0,2-7
PARAM_VALUE 0 walk->in.__addr 4096-ptr_max
PARAM_VALUE 0 walk->in.addr 4096-ptr_max
PARAM_VALUE 0 walk->out.__addr 4096-ptr_max
PARAM_VALUE 0 walk->out.addr 4096-ptr_max
PARAM_VALUE 1 used 0
NOSPEC 0 walk->slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 walk->slen 1-u32max[c]
USER_DATA 0 walk->dlen 0-355062,4294831653-u32max
USER_DATA 0 walk->in.offset 0-u32max[c][u]
USER_DATA 0 walk->slen 0-4095,4294963201-u32max
USER_DATA 1 used 0
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex

crypto/deflate.c deflate_decompress_one() -> acomp_walk_done_src()

Type Parameter Key Value
PARAM_VALUE 0 walk 5578593451462066176
PARAM_VALUE 0 walk->flags 0,2-7
PARAM_VALUE 0 walk->in.__addr 4096-ptr_max
PARAM_VALUE 0 walk->in.addr 4096-ptr_max
PARAM_VALUE 0 walk->out.__addr 4096-ptr_max
PARAM_VALUE 0 walk->out.addr 4096-ptr_max
PARAM_VALUE 1 used s32min-(-1),1-s32max
CAPPED_DATA 1 used 1
DATA_SOURCE 1 used r acomp_walk_next_src
BIT_INFO 1 used 0x0,0x7fffffff
NOSPEC 0 walk->slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 walk->slen 1-u32max[c]
HOST_DATA 1 used 3-s32max[c]
USER_DATA 0 walk->dlen 0-355062,4294831653-u32max
USER_DATA 0 walk->in.offset 0-u32max[c][u]
USER_DATA 0 walk->slen 0-4095,4294963201-u32max
USER_DATA 1 used 2-4095[c]
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex

crypto/zstd.c zstd_compress() -> acomp_walk_done_src()

Type Parameter Key Value
PARAM_VALUE 0 walk 7294885804828729344
PARAM_VALUE 0 walk->flags 0,2-7
PARAM_VALUE 0 walk->in.__addr 4096-ptr_max
PARAM_VALUE 0 walk->in.addr 4096-ptr_max
PARAM_VALUE 0 walk->out.__addr 4096-ptr_max
PARAM_VALUE 0 walk->out.addr 4096-ptr_max
PARAM_VALUE 1 used s32min-(-1),1-s32max
CAPPED_DATA 1 used 1
DATA_SOURCE 1 used r acomp_walk_next_src
BIT_INFO 1 used 0x0,0x7fffffff
NOSPEC 0 walk->slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 walk->slen 1-u32max[c]
HOST_DATA 1 used 3-s32max[c]
USER_DATA 0 walk->dlen 0-355062,4294831653-u32max
USER_DATA 0 walk->in.offset 0-u32max[c][u]
USER_DATA 0 walk->slen 0-4095,4294963201-u32max
USER_DATA 1 used 2-4095[c]
UNITS 1 used unit_byte
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex

crypto/zstd.c zstd_compress() -> acomp_walk_done_src()

Type Parameter Key Value
PARAM_VALUE 0 walk 7294885804828729344
PARAM_VALUE 0 walk->flags 0,2-7
PARAM_VALUE 0 walk->in.__addr 4096-ptr_max
PARAM_VALUE 0 walk->in.addr 4096-ptr_max
PARAM_VALUE 0 walk->out.__addr 4096-ptr_max
PARAM_VALUE 0 walk->out.addr 4096-ptr_max
NOSPEC 0 walk->slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 walk->slen 1-u32max[c]
HOST_DATA 1 used 3-s32max[c]
USER_DATA 0 walk->dlen 0-355062,4294831653-u32max
USER_DATA 0 walk->in.offset 0-u32max[c][u]
USER_DATA 0 walk->slen 0-4095,4294963201-u32max
USER_DATA 1 used 2-4094[c]
UNITS 1 used unit_byte
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex

crypto/zstd.c zstd_decompress() -> acomp_walk_done_src()

Type Parameter Key Value
PARAM_VALUE 0 walk 1702595815657213952
PARAM_VALUE 0 walk->flags 0,2-7
PARAM_VALUE 0 walk->in.__addr 4096-ptr_max
PARAM_VALUE 0 walk->in.addr 4096-ptr_max
PARAM_VALUE 0 walk->out.__addr 4096-ptr_max
PARAM_VALUE 0 walk->out.addr 4096-ptr_max
PARAM_VALUE 1 used s32min-(-1),1-s32max
CAPPED_DATA 1 used 1
DATA_SOURCE 1 used r acomp_walk_next_src
BIT_INFO 1 used 0x0,0x7fffffff
NOSPEC 0 walk->slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 walk->slen 1-u32max[c]
HOST_DATA 1 used 3-s32max[c]
USER_DATA 0 walk->dlen 0-355062,4294831653-u32max
USER_DATA 0 walk->in.offset 0-u32max[c][u]
USER_DATA 0 walk->slen 0-4095,4294963201-u32max
USER_DATA 1 used 2-4095[c]
UNITS 1 used unit_byte
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex

crypto/zstd.c zstd_decompress() -> acomp_walk_done_src()

Type Parameter Key Value
PARAM_VALUE 0 walk 1702595815657213952
PARAM_VALUE 0 walk->flags 0,2-7
PARAM_VALUE 0 walk->in.__addr 4096-ptr_max
PARAM_VALUE 0 walk->in.addr 4096-ptr_max
PARAM_VALUE 0 walk->out.__addr 4096-ptr_max
PARAM_VALUE 0 walk->out.addr 4096-ptr_max
PARAM_VALUE 1 used s32min-(-1),1-s32max
CAPPED_DATA 1 used 1
DATA_SOURCE 1 used r acomp_walk_next_src
BIT_INFO 1 used 0x0,0x7fffffff
NOSPEC 0 walk->slen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 walk->slen 1-u32max[c]
HOST_DATA 1 used 3-s32max[c]
USER_DATA 0 walk->dlen 0-355062,4294831653-u32max
USER_DATA 0 walk->in.offset 0-u32max[c][u]
USER_DATA 0 walk->slen 0-4095,4294963201-u32max
USER_DATA 1 used 2-4095[c]
UNITS 1 used unit_byte
LOCK2 bh
HALF_LOCKED2 &acomp_ctx->mutex