Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/slub.c __do_krealloc() -> set_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 object 17-u64max
PARAM_VALUE 2 orig_size 1-u64max
CAPPED_DATA 1 object 1
CAPPED_DATA 2 orig_size 1
CAPPED_DATA 2 orig_size 1
DATA_SOURCE 1 object $0
DATA_SOURCE 2 orig_size $1
STR_LEN 0 s (-1)-1010101
STR_LEN 1 object (-1)-1010101
NOSPEC 2 orig_size
NOSPEC 2 orig_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 orig_size 1-s32max[c]
USER_DATA 2 orig_size 1-s32max[c]
UNITS 1 object unit_byte
UNITS 2 orig_size unit_byte
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &c->commit_sem
HALF_LOCKED2 &c->tnc_mutex
HALF_LOCKED2 &call->user_mutex
HALF_LOCKED2 &card->fw.lock
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 &counter->mtx
HALF_LOCKED2 &ctlr->io_mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &gvt->lock
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 &hidg->read_spinlock
HALF_LOCKED2 &ioc->reset_in_progress_mutex
HALF_LOCKED2 &ipvs->est_mutex
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mdsc->mutex
HALF_LOCKED2 &mgr->topology_ref_history_lock
HALF_LOCKED2 &nbd->config_lock
HALF_LOCKED2 &nlk->nl_cb_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &opts->lock
HALF_LOCKED2 &p->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->wsm_cmd_mux
HALF_LOCKED2 &psi->read_mutex
HALF_LOCKED2 &smaster->lock
HALF_LOCKED2 &supplies->supplies_lock
HALF_LOCKED2 &vc4->bo_lock
HALF_LOCKED2 &vm->lock
HALF_LOCKED2 &vsi->xdp_state_lock
HALF_LOCKED2 &wl->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &bioscfg_drv.mutex
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &comedi_drivers_list_lock
HALF_LOCKED2 global &dax_dev_rwsem
HALF_LOCKED2 global &dax_region_rwsem
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 global &f_midi2_desc_mutex
HALF_LOCKED2 global &genl_mutex
HALF_LOCKED2 global &icc_lock
HALF_LOCKED2 global &init_lock
HALF_LOCKED2 global &nl_table_lock
HALF_LOCKED2 irq
HALF_LOCKED2 obj->resv
HALF_LOCKED2 queue_lock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 su_mutex

mm/slub.c alloc_debug_processing() -> set_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 2 orig_size 0-s32max,18446744071562067968-u64max
BUF_SIZE 1 object (-1),1-s32max
BUF_SIZE 1 object (-1),1-s32max
DATA_SOURCE 0 s $0
DATA_SOURCE 1 object $2
DATA_SOURCE 2 orig_size $3
STR_LEN 0 s (-1),1-8,10-12,14,16,20,31,39,45,88,255
STR_LEN 0 s (-1),1-8,10-12,14,16,20,31,39,45,88,255
BIT_INFO 0 s->flags 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 orig_size 2-8192[c]
USER_DATA 2 orig_size 1-8192
NO_OVERFLOW_SIMPLE 0 s->object_size
UNITS 1 object unit_byte
UNITS 2 orig_size unit_byte
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

mm/slub.c skip_orig_size_check() -> set_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 1 object 17-u64max
BUF_SIZE 1 object->common.type (-1),24
BUF_SIZE 1 object->limiter.permitted_waiters (-1),16
BUF_SIZE 1 object->started (-1),96
CAPPED_DATA 1 object 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 object $1
STR_LEN 0 s (-1)-1010101
STR_LEN 0 s (-1)-1010101
STR_LEN 1 object (-1)-1010101
STR_LEN 1 object (-1)-1010101
STR_LEN 1 object->owning_target->error (-1)
STR_LEN 1 object->thread_function (-1),6-7,9
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 object unit_byte
UNITS 2 orig_size unit_byte
HALF_LOCKED2 &tomoyo_gc_mutex
HALF_LOCKED2 global &tomoyo_policy_lock

mm/slub.c slab_free_hook() -> set_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 1 object (-1),1-s32max
BUF_SIZE 1 object (-1),1-s32max
CAPPED_DATA 0 s->inuse 1
DATA_SOURCE 0 s $0
DATA_SOURCE 1 object $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
NO_OVERFLOW_SIMPLE 2 orig_size
UNITS 2 orig_size unit_byte