Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/mballoc-test.c test_free_blocks_simple_range() -> validate_free_blocks_simple()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | sb | 4096-ptr_max |
| PARAM_VALUE | 2 | goal_group | 1 |
| PARAM_VALUE | 4 | len | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | sb | s32min,(-10),1-s32max |
| BUF_SIZE | 1 | sb | s32min,(-10),1-s32max |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 2 | goal_group | $1 |
| DATA_SOURCE | 3 | start | $2 |
| DATA_SOURCE | 4 | len | $3 |
| NOCHECK_CALL |