Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
lib/seq_buf.c seq_buf_bprintf() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->size | 1-u64max |
| CAPPED_DATA | 0 | s->len | 1 |
| CAPPED_DATA | 0 | s->size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags |
lib/seq_buf.c seq_buf_commit() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->size | 1-u64max |
| CAPPED_DATA | 0 | s->len | 1 |
| CAPPED_DATA | 0 | s->size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | 1 |
| STR_LEN | 0 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &tracepoint_iter_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
lib/seq_buf.c seq_buf_putc() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->size | 1-18446744073709551614 |
| CAPPED_DATA | 0 | s->size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/seq_buf.c seq_buf_putmem() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->size | 1-18446744073709551614 |
| CAPPED_DATA | 0 | s->size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | (-1)-1010101 |
| STR_LEN | 0 | s | (-1)-1010101 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/seq_buf.c seq_buf_puts() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| PARAM_VALUE | 0 | s->size | 0-4000000 |
| CAPPED_DATA | 0 | s->size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | (-1)-s32max |
| STR_LEN | 0 | s | (-1)-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &stream->lock | ||
| HALF_LOCKED2 | global &event_mutex |
lib/seq_buf.c seq_buf_vprintf() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| CAPPED_DATA | 0 | s->size | 1 |
| DATA_SOURCE | 0 | s | $0 |
| STR_LEN | 0 | s | (-1),2-20,22-24,26,30-36,38,40,42,44,47,49,54,56,61,71 |
| STR_LEN | 0 | s | (-1),2-20,22-24,26,30-36,38,40,42,44,47,49,54,56,61,71 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/tests/seq_buf_kunit.c seq_buf_commit() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 7062711162368339968 |
| PARAM_VALUE | 0 | s->len | 11 |
| PARAM_VALUE | 0 | s->size | 16 |
| DATA_SOURCE | 0 | s | $0 |
| TERMINATED | 0 | s->buffer | 1 |
| NOCHECK_CALL |
kernel/trace/trace_seq.c seq_buf_commit() -> seq_buf_set_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4096-ptr_max |
| DATA_SOURCE | 0 | s | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &tracepoint_iter_lock |