Defined in 1 files as a function:

Referenced in 17 files:

Smatch caller information:

sound/soc/codecs/cs35l56-shared-test.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 1844211279423381504,3691604050507632640
PARAM_VALUE 0 s->size 9
DATA_SOURCE 0 s $0
LOCK2 global &kunit_run_lock

kernel/rcu/refscale.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 1107221001693487104
PARAM_VALUE 0 s->size 864
DATA_SOURCE 0 s $0
TERMINATED 0 s->buffer 1

kernel/panic.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 3086245427015393280
PARAM_VALUE 0 s->size 1-1010102
DATA_SOURCE 0 s $0
TERMINATED 0 s->buffer 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

mm/memcontrol.c memory_stat_format() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 3503798228575346688,5360496957691879424
PARAM_VALUE 0 s->size 4096
DATA_SOURCE 0 s $1
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock
HALF_LOCKED2 global &oom_lock

drivers/gpu/drm/drm_edid.c drm_edid_print_product_id() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5303545473601114112
PARAM_VALUE 0 s->size 40
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/drm_edid.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5303545473601114112
PARAM_VALUE 0 s->size 40
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace_output.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/android/tests/binder_alloc_kunit.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
DATA_SOURCE 0 s $0

drivers/android/tests/binder_alloc_kunit.c stringify_alignments() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 3335009613733273696
PARAM_VALUE 0 s->size 91
DATA_SOURCE 0 s $2
TERMINATED 0 s->buffer 1

drivers/android/tests/binder_alloc_kunit.c stringify_free_seq() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5023850892394590208
PARAM_VALUE 0 s->size 16
DATA_SOURCE 0 s $2

kernel/trace/trace_syscalls.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &tracepoint_iter_lock

kernel/trace/trace_events_hist.c create_field_var_hist() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 7209113189316698112
PARAM_VALUE 0 s->size 256
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

kernel/trace/trace_events_hist.c expr_field_str() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4897505821431169024
PARAM_VALUE 0 s->size 256
DATA_SOURCE 0 s $1
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace_events_hist.c expr_str() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4897505821431169024
PARAM_VALUE 0 s->size 256
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace_events_hist.c expr_str() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4897505821431169024
PARAM_VALUE 0 s->size 256
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace_events_hist.c find_synthetic_field_var() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5065834095398940672
PARAM_VALUE 0 s->size 256
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

kernel/trace/trace_events_hist.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5065834095398940672,7209113189316698112
PARAM_VALUE 0 s->size 256
DATA_SOURCE 0 s $0
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/gpu/drm/i915/display/intel_fifo_underrun.c log_underrun_dbg1() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 823519386783600640
PARAM_VALUE 0 s->size 32
TERMINATED 0 s->buffer 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &display->irq.lock
HALF_LOCKED2 flags

drivers/gpu/drm/i915/display/intel_fifo_underrun.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 823519386783600640
PARAM_VALUE 0 s->size 32
DATA_SOURCE 0 s $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &display->irq.lock
HALF_LOCKED2 flags

drivers/gpu/drm/i915/display/intel_dp.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 8245243413785677824
PARAM_VALUE 0 s->size 128
DATA_SOURCE 0 s $0
TASK_NOT_RUNNING
HALF_LOCKED2 &_connector->dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.mutex
TYPE_LOCK (struct drm_mode_config)->connection_mutex

fs/resctrl/rdtgroup.c rdt_last_cmd_status_show() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 3687974728692822016
PARAM_VALUE 0 s->size 0,512
RX_PATH
TASK_NOT_RUNNING
LOCK2 &seq->lock
LOCK2 global &rdtgroup_mutex
TYPE_LOCK (struct seq_file)->lock

kernel/trace/trace_events_synth.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 8125206313132281856
PARAM_VALUE 0 s->size 0-4000000
DATA_SOURCE 0 s $0
LOCK2 global &event_mutex
HALF_LOCKED2 global &dyn_event_ops_mutex

kernel/trace/trace_events_synth.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &tracepoint_iter_lock

kernel/trace/trace_remote.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iter->remote->reader_lock
HALF_LOCKED2 &m->lock

drivers/gpu/drm/i915/display/intel_dp_link_caps.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 6609032808333434880
PARAM_VALUE 0 s->size 128
DATA_SOURCE 0 s $0
TASK_NOT_RUNNING
HALF_LOCKED2 &_connector->dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.mutex
TYPE_LOCK (struct drm_mode_config)->connection_mutex

drivers/gpu/drm/i915/display/intel_ddi.c intel_ddi_encoder_name() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 8594826693970104320
PARAM_VALUE 0 s->size 20
DATA_SOURCE 0 s $3
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/i915/display/intel_ddi.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 8594826693970104320
PARAM_VALUE 0 s->size 20
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace_probe.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &tracepoint_iter_lock

block/partitions/core.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 4096
DATA_SOURCE 0 s $0
TERMINATED 0 s->buffer 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &disk->open_mutex
HALF_LOCKED2 &hd->open_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct gendisk)->open_mutex

lib/seq_buf.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),2
STR_LEN 0 s (-1),2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &oom_lock

lib/seq_buf.c seq_buf_putmem_hex() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
CAPPED_DATA 0 s->size 1
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iter->mutex
HALF_LOCKED2 global &all_cpu_access_lock
HALF_LOCKED2 global &trace_event_sem

kernel/trace/ring_buffer.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
TERMINATED 0 s->buffer 1

security/selinux/ima.c selinux_ima_collect_state() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5072802559627210752
PARAM_VALUE 0 s->size 0-4000000
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex

sound/soc/codecs/cs35l56-test.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5610769156071268352,8535961573992153088
PARAM_VALUE 0 s->size 9
DATA_SOURCE 0 s $0
LOCK2 global &kunit_run_lock

kernel/trace/trace_events.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 727900444500934656
PARAM_VALUE 0 s->size 2048
DATA_SOURCE 0 s $0

kernel/trace/trace_events.c setup_trace_event() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 727900444500934656
PARAM_VALUE 0 s->size 2048
HALF_LOCKED2 irq

kernel/trace/trace_functions_graph.c trace_seq_has_overflowed() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iter->mutex
HALF_LOCKED2 flags

lib/tests/seq_buf_kunit.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 4,10,16,20,24,32,128
DATA_SOURCE 0 s $0
HARD_MAX 0 s->size 128

lib/tests/seq_buf_kunit.c seq_buf_clear_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 8255447383384408064
PARAM_VALUE 0 s->size 128

lib/tests/seq_buf_kunit.c seq_buf_clear_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 8255447383384408064
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 128
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_declare_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 3981595525557325824
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 24

lib/tests/seq_buf_kunit.c seq_buf_get_buf_commit_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 7062711162368339968
PARAM_VALUE 0 s->len 5
PARAM_VALUE 0 s->size 16

lib/tests/seq_buf_kunit.c seq_buf_get_buf_commit_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 7062711162368339968
PARAM_VALUE 0 s->len 11
PARAM_VALUE 0 s->size 16
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_get_buf_commit_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 7062711162368339968
PARAM_VALUE 0 s->len 17
PARAM_VALUE 0 s->size 16
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_init_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 8145574296148705280
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 32
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_printf_overflow_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5839210283725352960
PARAM_VALUE 0 s->size 16

lib/tests/seq_buf_kunit.c seq_buf_printf_overflow_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5839210283725352960
PARAM_VALUE 0 s->size 16
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_printf_overflow_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 5839210283725352960
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 16
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_printf_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 3305192357520908288
PARAM_VALUE 0 s->size 32

lib/tests/seq_buf_kunit.c seq_buf_printf_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 3305192357520908288
PARAM_VALUE 0 s->size 32
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_putc_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 1557528463258738688
PARAM_VALUE 0 s->size 4

lib/tests/seq_buf_kunit.c seq_buf_putc_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 1557528463258738688
PARAM_VALUE 0 s->size 4
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_putc_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 1557528463258738688
PARAM_VALUE 0 s->size 4
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_putc_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 1557528463258738688
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 4
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_putmem_hex_overflow_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 1221920785284612096
PARAM_VALUE 0 s->size 20

lib/tests/seq_buf_kunit.c seq_buf_putmem_hex_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4362691821551140864
PARAM_VALUE 0 s->size 24

lib/tests/seq_buf_kunit.c seq_buf_puts_overflow_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 2735849685848305664
PARAM_VALUE 0 s->size 10

lib/tests/seq_buf_kunit.c seq_buf_puts_overflow_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 2735849685848305664
PARAM_VALUE 0 s->size 10

lib/tests/seq_buf_kunit.c seq_buf_puts_overflow_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 2735849685848305664
PARAM_VALUE 0 s->len 0
PARAM_VALUE 0 s->size 10
TERMINATED 0 s->buffer 1

lib/tests/seq_buf_kunit.c seq_buf_puts_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 2722176868554616832
PARAM_VALUE 0 s->size 16

lib/tests/seq_buf_kunit.c seq_buf_puts_test() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 2722176868554616832
PARAM_VALUE 0 s->size 16
TERMINATED 0 s->buffer 1

kernel/sched/core.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 7417164243146493952
PARAM_VALUE 0 s->size 128
DATA_SOURCE 0 s $0
TERMINATED 0 s->buffer 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/trace/trace_seq.c seq_buf_buffer_left() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock

kernel/trace/trace_seq.c trace_seq_bitmask() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 8156
TERMINATED 0 s->buffer 1

kernel/trace/trace_seq.c trace_seq_bitmask_list() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 8156
TERMINATED 0 s->buffer 1

kernel/trace/trace_seq.c trace_seq_bprintf() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/trace/trace_seq.c trace_seq_hex_dump() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 global &tracepoint_iter_lock

kernel/trace/trace_seq.c trace_seq_path() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mm->mmap_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &tracepoint_iter_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

kernel/trace/trace_seq.c trace_seq_printf() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max

kernel/trace/trace_seq.c trace_seq_putmem_hex() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iter->mutex
HALF_LOCKED2 &m->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &all_cpu_access_lock
HALF_LOCKED2 global &trace_event_sem

kernel/trace/trace_seq.c trace_seq_vprintf() -> seq_buf_has_overflowed()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->size 1-u64max
RX_PATH
TASK_NOT_RUNNING