Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/super.c __ext4_error() -> ext4_handle_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 3 | ino | 0 |
| PARAM_VALUE | 4 | block | 0 |
| PARAM_VALUE | 5 | func | 4096-ptr_max |
| PARAM_VALUE | 6 | line | 60,94,106,130,140,168,180,203,217,234,278,280,284,296,356,427,432,435,440,444,470,486,520,529,586,619,625,1317,1406,1429,1565,1581,1922,1986,2063,2500,2539,4222,4232,4284,4915,5091,5521,5689,5697,5995,6383,6397-u32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1)-s32max |
| BUF_SIZE | 0 | sb->dq_op | (-1),88 |
| BUF_SIZE | 0 | sb->s_bdev | (-1),2136 |
| BUF_SIZE | 0 | sb->s_bdev->bd_queue | (-1),2456 |
| BUF_SIZE | 0 | sb->s_cop | (-1),72 |
| BUF_SIZE | 0 | sb->s_export_op | (-1),80 |
| BUF_SIZE | 0 | sb->s_fs_info | (-1),96,376,768,2440,4416,12288 |
| BUF_SIZE | 0 | sb->s_op | (-1),216 |
| BUF_SIZE | 0 | sb->s_qcop | (-1),88 |
| BUF_SIZE | 0 | sb->s_root | (-1)-s32max |
| BUF_SIZE | 0 | sb->s_type | (-1),232 |
| BUF_SIZE | 0 | sb->s_vop | (-1),48 |
| BUF_SIZE | 0 | sb->s_xattr | (-1),16,32,40 |
| BUF_SIZE | 5 | func | 6,15-25,27-28,30,34,37 |
| BUF_SIZE | 5 | func | 6,15-25,27-28,30,34,37 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 1 | force_ro | $3 |
| DATA_SOURCE | 2 | error | $4 |
| DATA_SOURCE | 4 | block | $5 |
| DATA_SOURCE | 5 | func | $1 |
| DATA_SOURCE | 6 | line | $2 |
| STR_LEN | 0 | sb | (-1)-1,4-5,8,20,26,29-39,41-42,44-45,47-49,51,53-54,57-58,60,64,81,89 |
| STR_LEN | 0 | sb | (-1)-1,4-5,8,20,26,29-39,41-42,44-45,47-49,51,53-54,57-58,60,64,81,89 |
| STR_LEN | 0 | sb->s_id | (-1),31 |
| STR_LEN | 1 | force_ro | (-1),24,29,31,39,41,48,53,65,74 |
| STR_LEN | 5 | func | (-1),24,29,31,39,41,48,53,65,74 |
| HARD_MAX | 6 | line | 7262 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &elr->lr_super->s_umount | ||
| HALF_LOCKED2 | &grp->alloc_sem | ||
| HALF_LOCKED2 | &journal->j_barrier | ||
| HALF_LOCKED2 | &of->mutex |
fs/ext4/super.c __ext4_error_file() -> ext4_handle_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | force_ro | 0 |
| PARAM_VALUE | 2 | error | 117 |
| PARAM_VALUE | 5 | func | 1548020299765624832,2481956511015718912,7746257508181807104 |
| PARAM_VALUE | 6 | line | 224,267,278,1339,1511 |
| BUF_SIZE | 5 | func | 13,21,23 |
| BUF_SIZE | 5 | func | 13,21,23 |
| DATA_SOURCE | 4 | block | $3 |
| DATA_SOURCE | 5 | func | $1 |
| DATA_SOURCE | 6 | line | $2 |
| STR_LEN | 0 | sb | (-1),16,19,23,31,33,38,46 |
| STR_LEN | 5 | func | (-1),16,19,23,31,33,38,46 |
| HARD_MAX | 6 | line | 1511 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sb | unit_byte |
| UNITS | 4 | block | unit_byte |
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/super.c __ext4_error_inode() -> ext4_handle_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->host->i_op->get_offset_ctx | 0,2606890545167454208 |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->host->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->host->i_op->sync_lazytime | 0,6951464784224747520 |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sb->s_bdev->bd_mapping->invalidate_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | sb->s_cop->empty_dir | 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | sb->s_cop->get_context | 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | sb->s_cop->set_context | 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->dirty_inode | 0,621408797344559104,3913825662048972800,5398169538550730752,5762663374499221504,5910256729421369344,7426269908539875328,8470241182936211456 |
| PARAM_VALUE | 0 | sb->s_op->free_cached_objects | 0,1608608064889520128,2908075336534528000,7579570136908226560 |
| PARAM_VALUE | 0 | sb->s_op->freeze_super | 0,2519477815684136960 |
| PARAM_VALUE | 0 | sb->s_op->get_dquots | 0,923857830404186112,1651117494515085312,1702335611975081984,5677984871528976384,5868281143574761472,6238878744837341184 |
| PARAM_VALUE | 0 | sb->s_op->nr_cached_objects | 0,456927727844597760,2165740340428103680,6857875743730688000 |
| PARAM_VALUE | 0 | sb->s_op->quota_read | 0,1231493512506486784,5429134974858194944,6767320843600449536,8807892756092534784,9061218535664717824 |
| PARAM_VALUE | 0 | sb->s_op->quota_write | 0,1834231028351041536,5468135944504233984,6708629384185118720,8162305775088627712,8801674826347085824 |
| PARAM_VALUE | 0 | sb->s_op->remove_bdev | 0,4640431662171430912 |
| PARAM_VALUE | 0 | sb->s_op->report_error | 0,4072367486062256128 |
| PARAM_VALUE | 0 | sb->s_op->show_devname | 0,1010349334253707264,4405032975229669376,7670745387818385408,8380631456597626880 |
| PARAM_VALUE | 0 | sb->s_op->show_path | 0,1168827736746610688,4549358393651167232,6955726544838414336,7969778861266182144 |
| PARAM_VALUE | 0 | sb->s_op->show_stats | 0,506057586286567424,909742538172280832,5476998243496673280,7378982553835122688 |
| PARAM_VALUE | 0 | sb->s_op->shutdown | 0,270907176096247808,394905300707143680,1621038160951336960,2742114378027888640,4674517140434182144,5302154572152815616,9061279276729196544 |
| PARAM_VALUE | 0 | sb->s_op->thaw_super | 0,5766127971694489600 |
| PARAM_VALUE | 0 | sb->s_op->umount_begin | 0,1715867000213852160,2996636628827439104,6144602640128442368,6892802180082667520,7121838532207407104 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | force_ro | 0 |
| PARAM_VALUE | 2 | error | (-117),(-30),(-22),(-12),(-5),0,5,12,74,117 |
| BUF_SIZE | 0 | sb | (-1),80,2752,2816 |
| BUF_SIZE | 0 | sb | (-1),80,2752,2816 |
| BUF_SIZE | 5 | func | (-1),9,11-29,31-32,34,36,38 |
| BUF_SIZE | 5 | func | (-1),9,11-29,31-32,34,36,38 |
| DATA_SOURCE | 2 | error | $4 |
| DATA_SOURCE | 4 | block | $3 |
| DATA_SOURCE | 5 | func | $1 |
| DATA_SOURCE | 6 | line | $2 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 1 | force_ro | (-1),4-5,13-14,16,18-25,27-31,33,35,38,46,91 |
| STR_LEN | 2 | error | (-1),14,16-17,20-22,24,30,34,51 |
| STR_LEN | 5 | func | (-1),4-5,13-14,16,18-25,27-31,33,35,38,46,91 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 3 | ino | 0-u32max |
| USER_DATA | 4 | block | 0-576460756598390781,18446744069414584321-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| UNITS | 4 | block | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/super.c __ext4_grp_locked_error() -> ext4_handle_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | sb->s_export_op->encode_fh | 0,2,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_export_op->fh_to_dentry | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_export_op->fh_to_parent | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_export_op->get_parent | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->get_dquots | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->quota_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->show_path | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->show_stats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->shutdown | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sb->s_op->thaw_super | 0,4096-ptr_max |
| PARAM_VALUE | 1 | force_ro | 0 |
| PARAM_VALUE | 2 | error | 117 |
| PARAM_VALUE | 5 | func | 1291228751289450496,1391130837197266944,3112276202409783296,5620305438354444288,7070162795908415488,7976908457525317632,8152559299716186112 |
| PARAM_VALUE | 6 | line | 1314,2046,2135,2528,2583,2614,5459,6472 |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 0 | sb | s32min,(-10),(-1),1-s32max |
| BUF_SIZE | 5 | func | 15,22-23,25-27 |
| BUF_SIZE | 5 | func | 15,22-23,25-27 |
| DATA_SOURCE | 0 | sb | $2 |
| DATA_SOURCE | 3 | ino | $4 |
| DATA_SOURCE | 4 | block | $5 |
| DATA_SOURCE | 5 | func | $0 |
| DATA_SOURCE | 6 | line | $1 |
| STR_LEN | 0 | sb | 19,33,41,53,59,67,79 |
| STR_LEN | 5 | func | 19,33,41,53,59,67,79 |
| NOSPEC | 3 | ino | |
| NOSPEC | 3 | ino | |
| HARD_MAX | 6 | line | 6472 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| USER_DATA | 3 | ino | 2-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | sb |
fs/ext4/super.c __ext4_std_error() -> ext4_handle_error()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 1 | force_ro | 0 |
| PARAM_VALUE | 2 | error | (-2147483647)-s32max |
| PARAM_VALUE | 3 | ino | 0 |
| PARAM_VALUE | 4 | block | 0 |
| PARAM_VALUE | 5 | func | 4096-ptr_max |
| PARAM_VALUE | 6 | line | 94,100,112,155,174,187,217,243,250,256,260,266,271,290,304,320,346,363,376,383,389,425,466,486,518,592,643,655,681-682,685,718,723,744,749,770,795,798,800,810,824,833,842,871,879,891,909,918,940,956,1038,1209-u32max |
| BUF_SIZE | 0 | sb | (-1),80,2752,2816 |
| BUF_SIZE | 0 | sb | (-1),80,2752,2816 |
| BUF_SIZE | 5 | func | 9,11-29,31,33-35,38 |
| BUF_SIZE | 5 | func | 9,11-29,31,33-35,38 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 5 | func | $1 |
| DATA_SOURCE | 6 | line | $2 |
| STR_LEN | 0 | sb | (-1),8 |
| STR_LEN | 0 | sb | (-1),8 |
| HARD_MAX | 6 | line | u32max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | sb->s_flags | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | sb->s_blocksize_bits | |
| UNITS | 0 | sb | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |