Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/zlib.c zlib_compress_bio() -> copy_data_into_buffer()

Type Parameter Key Value
PARAM_VALUE 1 workspace 4096-ptr_max
PARAM_VALUE 1 workspace->strm->state->head 0-u16max
PARAM_VALUE 1 workspace->strm->workspace->head_memory 0-u16max
PARAM_VALUE 1 workspace->strm->workspace->overlay_memory 0-255
PARAM_VALUE 1 workspace->strm->workspace->prev_memory 0-u16max
PARAM_VALUE 1 workspace->strm->workspace->window_memory 0-255
PARAM_VALUE 1 workspace->strm.adler 1
PARAM_VALUE 1 workspace->strm.avail_in 0
PARAM_VALUE 1 workspace->strm.avail_out 0-u32max
PARAM_VALUE 1 workspace->strm.data_type 2
PARAM_VALUE 1 workspace->strm.msg 0
PARAM_VALUE 1 workspace->strm.next_out 0,4096-ptr_max
PARAM_VALUE 1 workspace->strm.state 4096-ptr_max
PARAM_VALUE 1 workspace->strm.state->bi_buf 0-255
PARAM_VALUE 1 workspace->strm.state->bi_valid s32min-7
PARAM_VALUE 1 workspace->strm.state->bl_desc.dyn_tree->dl.len 0-15,u16max
PARAM_VALUE 1 workspace->strm.state->bl_desc.stat_desc 913731107127713792
PARAM_VALUE 1 workspace->strm.state->bl_desc.stat_desc->elems 19
PARAM_VALUE 1 workspace->strm.state->bl_desc.stat_desc->extra_bits 7910880777044582400
PARAM_VALUE 1 workspace->strm.state->bl_desc.stat_desc->max_length 7
PARAM_VALUE 1 workspace->strm.state->block_start 0
PARAM_VALUE 1 workspace->strm.state->d_desc.dyn_tree->dl.len 0-15,u16max
PARAM_VALUE 1 workspace->strm.state->d_desc.stat_desc 1800907796424552448
PARAM_VALUE 1 workspace->strm.state->d_desc.stat_desc->elems 30
PARAM_VALUE 1 workspace->strm.state->d_desc.stat_desc->extra_bits 6582557173907828736
PARAM_VALUE 1 workspace->strm.state->d_desc.stat_desc->max_length 15
PARAM_VALUE 1 workspace->strm.state->d_desc.stat_desc->static_tree 4771640363198926848
PARAM_VALUE 1 workspace->strm.state->good_match 0-u16max
PARAM_VALUE 1 workspace->strm.state->ins_h 0
PARAM_VALUE 1 workspace->strm.state->l_desc.stat_desc 5063368230529748992
PARAM_VALUE 1 workspace->strm.state->l_desc.stat_desc->elems 286
PARAM_VALUE 1 workspace->strm.state->l_desc.stat_desc->extra_base 257
PARAM_VALUE 1 workspace->strm.state->l_desc.stat_desc->extra_bits 7734908214924271616
PARAM_VALUE 1 workspace->strm.state->l_desc.stat_desc->max_length 15
PARAM_VALUE 1 workspace->strm.state->l_desc.stat_desc->static_tree 4874228718230159360
PARAM_VALUE 1 workspace->strm.state->last_eob_len 7-8
PARAM_VALUE 1 workspace->strm.state->last_flush 0-3,5
PARAM_VALUE 1 workspace->strm.state->last_lit 0
PARAM_VALUE 1 workspace->strm.state->lookahead 0
PARAM_VALUE 1 workspace->strm.state->match_available 0
PARAM_VALUE 1 workspace->strm.state->match_length 2
PARAM_VALUE 1 workspace->strm.state->matches 0
PARAM_VALUE 1 workspace->strm.state->max_chain_length 0-u16max
PARAM_VALUE 1 workspace->strm.state->max_lazy_match 0-u16max
PARAM_VALUE 1 workspace->strm.state->nice_match 0-u16max
PARAM_VALUE 1 workspace->strm.state->noheader 0-1
PARAM_VALUE 1 workspace->strm.state->opt_len 0
PARAM_VALUE 1 workspace->strm.state->pending s32min-s32max
PARAM_VALUE 1 workspace->strm.state->prev_length 2
PARAM_VALUE 1 workspace->strm.state->static_len 0
PARAM_VALUE 1 workspace->strm.state->status 42,113,666
PARAM_VALUE 1 workspace->strm.state->strstart 0
PARAM_VALUE 1 workspace->strm.total_in 0
PARAM_VALUE 1 workspace->strm.total_out 0-4294967294
BUF_SIZE 1 workspace->strm.next_in (-1),1-s32max
CAPPED_DATA 1 workspace->strm.total_out 1
CAPPED_DATA 3 length 1
FUZZY_MAX 1 workspace->strm.total_out 0
PARAM_COMPARE 1 workspace->strm.total_in <= $1->strm.total_out
RX_PATH
TASK_NOT_RUNNING
UNITS 2 filepos unit_byte
UNITS 3 length unit_byte