Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
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 calculate_sizes() -> slub_debug_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s->name (-1),11,16
CAPPED_DATA 0 s->useroffset 1
DATA_SOURCE 0 s $1
STR_LEN 0 s (-1),10,15
STR_LEN 0 s (-1),10,15
BIT_INFO 0 s->flags 0x0,0xffdfffff
HALF_LOCKED2 global &slab_mutex
HALF_LOCKED2 irq

mm/slub.c check_object() -> slub_debug_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s 1
CAPPED_DATA 0 s->red_left_pad 1
DATA_SOURCE 0 s $0
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 0x2,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

mm/slub.c get_orig_size() -> slub_debug_orig_size()

Type Parameter Key Value
BUF_SIZE 0 s s32min-(-1),1-s32max
BUF_SIZE 0 s s32min-(-1),1-s32max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1)-1010101
STR_LEN 0 s (-1)-1010101
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
UNITS 0 s unit_array_size
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

mm/slub.c init_object() -> slub_debug_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
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 0x2,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

mm/slub.c obj_exts_offset_in_object() -> slub_debug_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s->inuse 1
DATA_SOURCE 0 s $0
BIT_INFO 0 s->flags 0x1000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity

mm/slub.c print_trailer() -> slub_debug_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s->inuse 1
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),1-8,10-12,14,16,19-20,26,31,39,45,88,255
STR_LEN 0 s (-1),1-8,10-12,14,16,19-20,26,31,39,45,88,255
BIT_INFO 0 s->flags 0x0,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity
HALF_LOCKED2 &n->list_lock
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1)-1010101
STR_LEN 0 s (-1)-1010101
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 s->object_size
NO_OVERFLOW_SIMPLE 0 s->sheaf_capacity

mm/slub.c slab_post_alloc_hook() -> slub_debug_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
CAPPED_DATA 0 s 1
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

mm/kasan/generic.c kasan_cache_create() -> slub_debug_orig_size()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s->name (-1),11,16
CAPPED_DATA 0 s->useroffset 1
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),10,15
STR_LEN 0 s (-1),10,15
BIT_INFO 0 s->flags 0x0,0xfffffdff
HALF_LOCKED2 global &slab_mutex
HALF_LOCKED2 irq