Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/isofs/dir.c do_isofs_readdir() -> isofs_dir_record_valid()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
PARAM_VALUE 0 *de s32min-(-1),1-s32max
PARAM_COMPARE 0 de >= $1
PARAM_COMPARE 0 de >= $1
PARAM_COMPARE 1 offset <= $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 de unit_byte
UNITS 1 offset unit_byte
UNITS 2 bufsize unit_byte
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/isofs/export.c isofs_export_get_parent() -> isofs_dir_record_valid()

Type Parameter Key Value
PARAM_VALUE 1 offset 0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 de unit_byte
UNITS 2 bufsize unit_byte
HALF_LOCKED2 &child->d_lockref.lock

fs/isofs/export.c isofs_export_get_parent() -> isofs_dir_record_valid()

Type Parameter Key Value
PARAM_VALUE 0 de->length 4096-ptr_max
PARAM_VALUE 0 de->name_len 4096-ptr_max
PARAM_VALUE 1 offset 0-255
DATA_SOURCE 1 offset r isonum_711
PARAM_COMPARE 0 de > $1
PARAM_COMPARE 0 de > $1
PARAM_COMPARE 1 offset < $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 de unit_byte
UNITS 2 bufsize unit_byte
HALF_LOCKED2 &child->d_lockref.lock

fs/isofs/namei.c isofs_find_entry() -> isofs_dir_record_valid()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
PARAM_VALUE 0 *de 1-255
PARAM_COMPARE 0 de >= $1
PARAM_COMPARE 0 de >= $1
PARAM_COMPARE 1 offset <= $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 de unit_byte
UNITS 2 bufsize unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem