Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 480576300232294400 |
| PARAM_VALUE | 3 | $ | 30,60-4294967324 |
| PARAM_VALUE | 4 | $ | 1-u32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 60 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 4 | $ | r btrfs_item_size |
| STR_LEN | 0 | eb | 59 |
| 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_dir_item() -> dir_item_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 | 81961456161476608 |
| PARAM_VALUE | 3 | $ | 2-131,133-255 |
| PARAM_VALUE | 4 | $ | 132 |
| PARAM_VALUE | 5 | $ | 1 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 52 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| STR_LEN | 0 | eb | 51 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 6206004081054093312 |
| PARAM_VALUE | 3 | $ | 0,9-255 |
| PARAM_VALUE | 4 | $ | 9 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 46 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 3 | $ | r btrfs_dir_ftype |
| FUZZY_MAX | 3 | $ | 9 |
| STR_LEN | 0 | eb | 45 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 2904965849862447104 |
| PARAM_VALUE | 3 | $ | 1-7 |
| PARAM_VALUE | 4 | $ | 8 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 55 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 3 | $ | r btrfs_dir_ftype |
| STR_LEN | 0 | eb | 54 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 4735159900313825280 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 39 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| STR_LEN | 0 | eb | 38 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 5446856799698653184 |
| PARAM_VALUE | 3 | $ | 256-u16max |
| PARAM_VALUE | 4 | $ | 255 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 43 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 3 | $ | r btrfs_dir_name_len |
| FUZZY_MAX | 3 | $ | 256 |
| STR_LEN | 0 | eb | 42 |
| PARAM_COMPARE | 3 | $ | > $4 |
| PARAM_COMPARE | 4 | $ | < $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 6596499329584713728 |
| PARAM_VALUE | 3 | $ | 1-65790 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 52 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| STR_LEN | 0 | eb | 51 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 3626192003903442944 |
| PARAM_VALUE | 3 | $ | 1-u16max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 49 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 3 | $ | r btrfs_dir_data_len |
| STR_LEN | 0 | eb | 48 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_dir_item() -> dir_item_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 | 6010420839435767808 |
| PARAM_VALUE | 3 | $ | 31-65820 |
| PARAM_VALUE | 4 | $ | 30-65819 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 57 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 4 | $ | r btrfs_item_size |
| STR_LEN | 0 | eb | 56 |
| 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_dir_item() -> dir_item_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 | 8258108826558517248 |
| 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 | $3 |
| DATA_SOURCE | 3 | $ | r btrfs_name_hash |
| STR_LEN | 0 | eb | 58 |
| PARAM_COMPARE | 3 | $ | != $4 |
| PARAM_COMPARE | 4 | $ | != $3 |
| PARAM_COMPARE | 4 | $ | != $3 |
| 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_inode_extref() -> dir_item_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 | 3343376494785552384 |
| PARAM_VALUE | 3 | $ | 101-8589934690 |
| PARAM_VALUE | 4 | $ | 102-8589934691 |
| PARAM_VALUE | 5 | $ | 18 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 61 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| STR_LEN | 0 | eb | 60 |
| PARAM_COMPARE | 3 | $ | < $4 |
| PARAM_COMPARE | 4 | $ | > $3 |
| PARAM_COMPARE | 4 | $ | > $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_extref() -> dir_item_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 | 2443468466126393344 |
| PARAM_VALUE | 3 | $ | 101-8589934690 |
| PARAM_VALUE | 4 | $ | 119-8589934691 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 50 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 5 | $ | r btrfs_inode_extref_name_len |
| STR_LEN | 0 | eb | 49 |
| PARAM_COMPARE | 3 | $ | < $4 |
| PARAM_COMPARE | 4 | $ | > $3 |
| PARAM_COMPARE | 4 | $ | > $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_item() -> dir_item_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 | 8401796616127598592 |
| PARAM_VALUE | 4 | $ | 0-18446744073709551614 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 52 |
| 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 | 51 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_item() -> dir_item_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 | 2014943089661710336 |
| PARAM_VALUE | 4 | $ | 0-18446744073709551614 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 49 |
| 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 | 48 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_item() -> dir_item_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 | 2719194480988372992 |
| PARAM_VALUE | 3 | $ | 0,65536-u32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 32 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 31 |
| BIT_INFO | 3 | $ | 0x0,0xffff0000 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_item() -> dir_item_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 | 8601409012884426752 |
| PARAM_VALUE | 3 | $ | 0,4096-24575,24577-40959,40961-49151,49153-61440 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 48 |
| 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 | 47 |
| BIT_INFO | 3 | $ | 0x0,0xf000 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_item() -> dir_item_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 | 4698788003742007296 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 52 |
| 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 | 51 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_item() -> dir_item_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 | 5875230383979589632 |
| PARAM_VALUE | 3 | $ | 4096-u32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 38 |
| 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_inode_flags |
| FUZZY_MAX | 1 | slot | 0 |
| STR_LEN | 0 | eb | 37 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_item() -> dir_item_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 | 0 | eb->fs_info->sb | 4096-ptr_max |
| PARAM_VALUE | 1 | slot | 0-s32max |
| PARAM_VALUE | 2 | fmt | 8944648264664473600 |
| PARAM_VALUE | 3 | $ | 0 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 58 |
| 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 | 57 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_key() -> dir_item_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 | 1196086749447655424 |
| PARAM_VALUE | 3 | $ | 0-5,7-255,18446744073709551361-18446744073709551603,18446744073709551605-u64max |
| PARAM_VALUE | 4 | $ | 6 |
| PARAM_VALUE | 5 | $ | 256 |
| PARAM_VALUE | 6 | $ | 18446744073709551360 |
| PARAM_VALUE | 7 | $ | 18446744073709551604 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 76 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| FUZZY_MAX | 3 | $ | 18446744073709551361 |
| STR_LEN | 0 | eb | 75 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | $ | |
| UNITS | 3 | $ | unit_byte |
fs/btrfs/tree-checker.c check_inode_key() -> dir_item_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 | 5663814136085770240 |
| PARAM_VALUE | 3 | $ | 1-u64max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 38 |
| 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 | 37 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | $ | |
| UNITS | 3 | $ | unit_byte |
fs/btrfs/tree-checker.c check_inode_key() -> dir_item_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 | 8507637691038576640 |
| PARAM_VALUE | 3 | $ | 1-u64max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 46 |
| 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 | 45 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | $ | |
| UNITS | 3 | $ | unit_byte |
fs/btrfs/tree-checker.c check_inode_ref() -> dir_item_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 | 5491422624649084928 |
| PARAM_VALUE | 4 | $ | 10 |
| 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 | $3 |
| STR_LEN | 0 | eb | 43 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_ref() -> dir_item_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 | 5845789701663883264 |
| PARAM_VALUE | 3 | $ | 101-8589934690 |
| PARAM_VALUE | 4 | $ | 102-8589934691 |
| PARAM_VALUE | 5 | $ | 10 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 55 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| STR_LEN | 0 | eb | 54 |
| PARAM_COMPARE | 3 | $ | < $4 |
| PARAM_COMPARE | 4 | $ | > $3 |
| PARAM_COMPARE | 4 | $ | > $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_inode_ref() -> dir_item_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 | 6142313080714006528 |
| PARAM_VALUE | 3 | $ | 0,256-u16max |
| PARAM_VALUE | 4 | $ | 255 |
| 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 | $3 |
| DATA_SOURCE | 3 | $ | r btrfs_inode_ref_name_len |
| 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_inode_ref() -> dir_item_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 | 5377580476009517056 |
| PARAM_VALUE | 3 | $ | 101-8589934690 |
| PARAM_VALUE | 4 | $ | 111-8589934691 |
| PARAM_VALUE | 5 | $ | 1-255 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 47 |
| CAPPED_DATA | 0 | eb->start | 1 |
| CAPPED_DATA | 1 | slot | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $3 |
| DATA_SOURCE | 5 | $ | r btrfs_inode_ref_name_len |
| STR_LEN | 0 | eb | 46 |
| PARAM_COMPARE | 3 | $ | < $4 |
| PARAM_COMPARE | 4 | $ | > $3 |
| PARAM_COMPARE | 4 | $ | > $3 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/btrfs/tree-checker.c check_prev_ino() -> dir_item_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 | 1-s32max |
| PARAM_VALUE | 2 | fmt | 629814592333365248 |
| 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 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | eb | $0 |
| DATA_SOURCE | 1 | slot | $2 |
| STR_LEN | 0 | eb | 52 |
| 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 | 3 | $ | |
| NO_OVERFLOW_SIMPLE | 4 | $ | |
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
fs/btrfs/tree-checker.c check_root_key() -> dir_item_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 | 4045244793337278464 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 31 |
| 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 | 30 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/btrfs/tree-checker.c check_root_key() -> dir_item_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 | 5763308183614578688 |
| PARAM_VALUE | 3 | $ | 1-4,6-u64max |
| PARAM_VALUE | 4 | $ | 256 |
| PARAM_VALUE | 5 | $ | 18446744073709551360 |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 0 | eb | (-1),1-s32max |
| BUF_SIZE | 2 | fmt | 61 |
| 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 | 60 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | $ | |
| UNITS | 3 | $ | unit_byte |