Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
t |
4096-ptr_max |
| PARAM_VALUE |
0 |
t->num_targets |
0-1048575 |
| PARAM_VALUE |
1 |
ti |
4096-ptr_max |
| BUF_SIZE |
1 |
ti->error |
14 |
| CAPPED_DATA |
0 |
t->immutable_target_type |
1 |
| CAPPED_DATA |
0 |
t->num_targets |
1 |
| CAPPED_DATA |
1 |
ti->begin |
1 |
| CAPPED_DATA |
1 |
ti->table->num_targets |
1 |
| CAPPED_DATA |
1 |
ti->type |
1 |
| DATA_SOURCE |
0 |
t |
$0 |
| STR_LEN |
1 |
ti->error |
13 |
| PARAM_COMPARE |
0 |
t->num_allocated |
> $0->num_targets |
| TERMINATED |
1 |
ti->error |
1 |
| MEM_ZERO |
1 |
ti |
|
| NO_OVERFLOW_SIMPLE |
0 |
t->num_allocated |
|
| NO_OVERFLOW_SIMPLE |
1 |
ti->begin |
|
| NO_OVERFLOW_SIMPLE |
1 |
ti->len |
|
| NO_OVERFLOW_SIMPLE |
1 |
ti->table->num_allocated |
|
| HALF_LOCKED2 |
|
&md->type_lock |
|
