Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/zlib_deflate/deflate.c zlib_deflateReset() -> lm_init()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->bi_buf 0
PARAM_VALUE 0 s->bi_valid 0
PARAM_VALUE 0 s->bl_desc.dyn_tree->dl.len 0-15,u16max
PARAM_VALUE 0 s->bl_desc.stat_desc 913731107127713792
PARAM_VALUE 0 s->bl_desc.stat_desc->elems 19
PARAM_VALUE 0 s->bl_desc.stat_desc->extra_base 0
PARAM_VALUE 0 s->bl_desc.stat_desc->extra_bits 7910880777044582400
PARAM_VALUE 0 s->bl_desc.stat_desc->max_length 7
PARAM_VALUE 0 s->bl_desc.stat_desc->static_tree 0
PARAM_VALUE 0 s->compressed_len 0
PARAM_VALUE 0 s->d_desc.dyn_tree->dl.len 0-15,u16max
PARAM_VALUE 0 s->d_desc.stat_desc 1800907796424552448
PARAM_VALUE 0 s->d_desc.stat_desc->elems 30
PARAM_VALUE 0 s->d_desc.stat_desc->extra_base 0
PARAM_VALUE 0 s->d_desc.stat_desc->extra_bits 6582557173907828736
PARAM_VALUE 0 s->d_desc.stat_desc->max_length 15
PARAM_VALUE 0 s->d_desc.stat_desc->static_tree 4771640363198926848
PARAM_VALUE 0 s->l_desc.stat_desc 5063368230529748992
PARAM_VALUE 0 s->l_desc.stat_desc->elems 286
PARAM_VALUE 0 s->l_desc.stat_desc->extra_base 257
PARAM_VALUE 0 s->l_desc.stat_desc->extra_bits 7734908214924271616
PARAM_VALUE 0 s->l_desc.stat_desc->max_length 15
PARAM_VALUE 0 s->l_desc.stat_desc->static_tree 4874228718230159360
PARAM_VALUE 0 s->last_eob_len 8
PARAM_VALUE 0 s->last_flush 0
PARAM_VALUE 0 s->last_lit 0
PARAM_VALUE 0 s->matches 0
PARAM_VALUE 0 s->noheader 0-1
PARAM_VALUE 0 s->opt_len 0
PARAM_VALUE 0 s->pending 0
PARAM_VALUE 0 s->static_len 0
PARAM_VALUE 0 s->status 42,113
BUF_SIZE 0 s (-1),5928
BUF_SIZE 0 s (-1),5928
FUZZY_MAX 0 s->noheader 0
FUZZY_MAX 0 s->status 113
BIT_INFO 0 s->status 0x20,0xffffffffffffffff
HARD_MAX 0 s->status 113
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ppp->wlock
HALF_LOCKED2 &zstrm->lock
HALF_LOCKED2 bh