Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 1604767669452124160
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 73
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
FUZZY_MAX 1 slot 0
STR_LEN 0 eb 72
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 $ unit_byte
UNITS 4 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 6995404492579614720
PARAM_VALUE 3 $ 0-20
PARAM_VALUE 4 $ 21
PARAM_VALUE 5 $ 4096
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 44
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
DATA_SOURCE 3 $ r btrfs_item_size
STR_LEN 0 eb 43
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5179217107360628736
PARAM_VALUE 4 $ 2
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 59
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 58
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 2905245714902675456
PARAM_VALUE 4 $ 3
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 66
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 65
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5492824905178394624
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 53
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 52
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 6195635301226209280
PARAM_VALUE 3 $ 1-u64max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 63
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 62
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 3473286174880882688
PARAM_VALUE 3 $ 21-u32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 70
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
DATA_SOURCE 3 $ r btrfs_item_size
STR_LEN 0 eb 69
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 3578171917150220288
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 92
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 91
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 7248128624881475584
PARAM_VALUE 3 $ 21-52,54-u32max
PARAM_VALUE 4 $ 53
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 67
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
DATA_SOURCE 3 $ r btrfs_item_size
STR_LEN 0 eb 66
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 $ unit_byte
UNITS 4 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5407000502888869888
PARAM_VALUE 3 $ 2822410930464522240
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 63
BUF_SIZE 3 $ 10
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 62
STR_LEN 1 slot 9
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5407000502888869888
PARAM_VALUE 3 $ 7009030458642128896
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 63
BUF_SIZE 3 $ 12
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 62
STR_LEN 1 slot 11
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5407000502888869888
PARAM_VALUE 3 $ 4935475802086285312
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 63
BUF_SIZE 3 $ 15
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 62
STR_LEN 1 slot 14
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5407000502888869888
PARAM_VALUE 3 $ 1399198225320308736
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 63
BUF_SIZE 3 $ 7
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 62
STR_LEN 1 slot 6
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5407000502888869888
PARAM_VALUE 3 $ 8218477796592619520
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 63
BUF_SIZE 3 $ 10
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 62
STR_LEN 1 slot 9
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 5 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 5495557495739777024
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 65
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 64
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 $
UNITS 3 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 2 fmt 5083271159646064640
PARAM_VALUE 3 $ 1-u64max
PARAM_VALUE 4 $ 0-18446744073709551614
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 85
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
CAPPED_DATA 4 $ 1
CAPPED_DATA 4 $ 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 3 $ r file_extent_end
STR_LEN 0 eb 84
PARAM_COMPARE 3 $ > $4
PARAM_COMPARE 4 $ < $3
PARAM_COMPARE 4 $ < $3
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 $
UNITS 3 $ unit_byte
UNITS 4 $ unit_byte
HALF_LOCKED2 &pool->lock

fs/btrfs/tree-checker.c check_extent_data_item() -> file_extent_err()

Type Parameter Key Value
PARAM_VALUE 0 eb 4096-ptr_max
PARAM_VALUE 0 eb->folios 4096-ptr_max
PARAM_VALUE 0 eb->fs_info 4096-ptr_max
PARAM_VALUE 0 eb->fs_info->csum_type 0-3
PARAM_VALUE 1 slot 0-s32max
PARAM_VALUE 2 fmt 3649925758282977280
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 0 eb (-1),1-s32max
BUF_SIZE 2 fmt 78
CAPPED_DATA 0 eb->start 1
CAPPED_DATA 1 slot 1
DATA_SOURCE 0 eb $0
DATA_SOURCE 1 slot $2
STR_LEN 0 eb 77
TERMINATED 2 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock