Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/bpf/verifier.c grow_stack_arg_slots() -> realloc_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | old_n | 0-6 |
| PARAM_VALUE | 2 | new_n | 1-7 |
| PARAM_VALUE | 3 | size | 80 |
| CAPPED_DATA | 1 | old_n | 1 |
| CAPPED_DATA | 1 | old_n | 1 |
| DATA_SOURCE | 2 | new_n | $2 |
| PARAM_COMPARE | 1 | old_n | < $2 |
| PARAM_COMPARE | 2 | new_n | > $1 |
| BIT_INFO | 1 | old_n | 0x0,0xffff |
| UNITS | 1 | old_n | unit_array_size |
| UNITS | 2 | new_n | unit_array_size |
| UNITS | 3 | size | unit_byte |
kernel/bpf/verifier.c grow_stack_state() -> realloc_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | old_n | 0-s32max,18446744071562067968-18446744073709551614 |
| PARAM_VALUE | 2 | new_n | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | size | 88 |
| CAPPED_DATA | 1 | old_n | 1 |
| CAPPED_DATA | 1 | old_n | 1 |
| PARAM_COMPARE | 1 | old_n | < $2 |
| PARAM_COMPARE | 2 | new_n | > $1 |
| PARAM_COMPARE | 2 | new_n | > $1 |
| BIT_INFO | 1 | old_n | 0x0,0xffffffff |
| BIT_INFO | 1 | old_n | 0x0,0xffffffff |
| BIT_INFO | 2 | new_n | 0x0,0xffffffff |
| BIT_INFO | 2 | new_n | 0x0,0xffffffff |
| UNITS | 3 | size | unit_byte |
kernel/bpf/verifier.c resize_reference_state() -> realloc_array()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | new_n | 0-u32max |
| PARAM_VALUE | 3 | size | 24 |
| DATA_SOURCE | 2 | new_n | $1 |
| UNITS | 3 | size | unit_byte |