Defined in 1 files as a variable:

Defined in 1 files as a struct:

Defined in 1 files as a prototype:

Defined in 40 files as a member:

Defined in 7 files as a macro:

Defined in 12 files as a function:

Referenced in 484 files:

Smatch caller information:

lib/rbtree_test.c basic_check() -> check()

Type Parameter Key Value
PARAM_VALUE 0 nr_nodes 0-s32max
CAPPED_DATA 0 nr_nodes 1
NOCHECK_CALL

lib/rbtree_test.c basic_check() -> check()

Type Parameter Key Value
PARAM_VALUE 0 nr_nodes 1-s32max
CAPPED_DATA 0 nr_nodes 1
NOCHECK_CALL

lib/rbtree_test.c basic_check() -> check()

Type Parameter Key Value
PARAM_VALUE 0 nr_nodes 0
NOCHECK_CALL

lib/rbtree_test.c check_augmented() -> check()

Type Parameter Key Value
PARAM_VALUE 0 nr_nodes 0-s32max
CAPPED_DATA 0 nr_nodes 1
DATA_SOURCE 0 nr_nodes $0
NOCHECK_CALL

net/netfilter/xt_multiport.c multiport_mt6_check() -> check()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nr_nodes 0-u16max[u]
USER_DATA 1 ela 0-255[u]
USER_DATA 2 elb 0-255[u]
USER_DATA 3 count 0-255[u]

net/netfilter/xt_multiport.c multiport_mt_check() -> check()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 nr_nodes 0-u16max[u]
USER_DATA 1 ela 0-255[u]
USER_DATA 2 elb 0-255[u]
USER_DATA 3 count 0-255[u]

lib/tests/test_list_sort.c cmp() -> check()

Type Parameter Key Value
PARAM_VALUE 0 nr_nodes 0,4096-ptr_max
PARAM_VALUE 1 ela 4096-ptr_max
PARAM_VALUE 2 elb 4096-ptr_max
BUF_SIZE 0 nr_nodes (-1),1-s32max
DATA_SOURCE 0 nr_nodes $0
STR_LEN 0 nr_nodes (-1)-1,9,23-24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 nr_nodes unit_byte

lib/tests/test_list_sort.c list_sort_test() -> check()

Type Parameter Key Value
PARAM_VALUE 0 nr_nodes 4096-ptr_max
PARAM_VALUE 0 nr_nodes->last_seen.file 375653594719944704
PARAM_VALUE 0 nr_nodes->last_seen.line 92,97
PARAM_VALUE 0 nr_nodes->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 nr_nodes->priv 4096-ptr_max
PARAM_VALUE 0 nr_nodes->status 1
PARAM_VALUE 1 ela 4096-ptr_max
PARAM_VALUE 2 elb 4096-ptr_max
BUF_SIZE 0 nr_nodes->last_seen.file 27
BUF_SIZE 0 nr_nodes->priv 5136
DATA_SOURCE 0 nr_nodes $0
FUZZY_MAX 0 nr_nodes->last_seen.line 97
STR_LEN 0 nr_nodes->last_seen.file 26
BIT_INFO 0 nr_nodes->last_seen.line 0x40,0x7d
HARD_MAX 0 nr_nodes->last_seen.line 97
NOCHECK_CALL

Smatch assignments to (struct dm_block_validator)->check:

drivers/md/persistent-data/dm-btree-spine.c (null)() -> (struct dm_block_validator)->check [3416168527656329216]

drivers/md/dm-thin-metadata.c (null)() -> (struct dm_block_validator)->check [8279251618132471808]

drivers/md/persistent-data/dm-array.c (null)() -> (struct dm_block_validator)->check [8827099702537687040]

drivers/md/dm-era-target.c (null)() -> (struct dm_block_validator)->check [3951796278190632960]

drivers/md/dm-cache-metadata.c (null)() -> (struct dm_block_validator)->check [1294892766524755968]

drivers/md/persistent-data/dm-space-map-common.c (null)() -> (struct dm_block_validator)->check [5531210579649388544,9124168210738921472]

drivers/md/dm-clone-metadata.c (null)() -> (struct dm_block_validator)->check [6901078611800895488]