Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/props.c btrfs_inode_inherit_props() -> (struct prop_handler)->validate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 0 inode->root 4096-ptr_max
PARAM_VALUE 1 value 1-u64max
PARAM_VALUE 2 len 0-1010101
DATA_SOURCE 0 inode $1
STR_LEN 0 inode 0-1010101

fs/btrfs/props.c btrfs_set_prop() -> (struct prop_handler)->validate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
BUF_SIZE 1 value (-1)-s32max
BUF_SIZE 1 value (-1)-s32max
DATA_SOURCE 0 inode $1
DATA_SOURCE 1 value $3
DATA_SOURCE 2 len $4
STR_LEN 0 inode (-1)-1010101
STR_LEN 0 inode (-1)-1010101
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *value 0-255
USER_DATA 2 len 1-65536
NO_OVERFLOW_SIMPLE 1 *value
USER_PTR 1 value
HALF_LOCKED2 &inode->i_rwsem

fs/btrfs/props.c btrfs_validate_prop() -> (struct prop_handler)->validate()

Type Parameter Key Value
PARAM_VALUE 0 inode 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
BUF_SIZE 1 value (-1)-s32max
BUF_SIZE 1 value (-1)-s32max
DATA_SOURCE 0 inode $0
DATA_SOURCE 1 value $2
DATA_SOURCE 2 len $3
STR_LEN 0 inode (-1)-0
STR_LEN 0 inode (-1)-0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *value 0-255
USER_DATA 2 len 1-65536
NO_OVERFLOW_SIMPLE 1 *value
USER_PTR 1 value
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &unused->d_inode->i_rwsem