Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/sctp/ipv6.c sctp_inet6_cmp_addr() -> __sctp_v6_cmp_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr1 | 4096-ptr_max |
| PARAM_VALUE | 0 | addr1->sa.sa_family | 2,10 |
| PARAM_VALUE | 1 | addr2 | 4096-ptr_max |
| PARAM_VALUE | 1 | addr2->sa.sa_family | 2,10 |
| BUF_SIZE | 1 | addr2 | (-1)-s32max |
| BUF_SIZE | 1 | addr2 | (-1)-s32max |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| BIT_INFO | 0 | addr1->sa.sa_family | 0x2,0xa |
| NOSPEC | 1 | addr2->v6.sin6_scope_id | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | addr2->sa.sa_family | 2,10 |
| USER_DATA | 1 | addr2->v4.sin_addr.s_addr | 0-u32max[u] |
| USER_DATA | 1 | addr2->v4.sin_family | 0-u16max[u] |
| USER_DATA | 1 | addr2->v4.sin_port | 0-u16max |
| USER_DATA | 1 | addr2->v6.sin6_family | 0-u16max[u] |
| USER_DATA | 1 | addr2->v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 1 | addr2->v6.sin6_port | 0-u16max |
| USER_DATA | 1 | addr2->v6.sin6_scope_id | 0-u32max[u] |
| USER_PTR | 1 | addr2 | |
| HALF_LOCKED2 | &head->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/sctp/ipv6.c sctp_v6_cmp_addr() -> __sctp_v6_cmp_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr1 | 4096-ptr_max |
| BUF_SIZE | 0 | addr1 | (-1)-s32max |
| BUF_SIZE | 0 | addr1 | (-1)-s32max |
| BUF_SIZE | 1 | addr2 | (-1)-135168 |
| BUF_SIZE | 1 | addr2 | (-1)-135168 |
| DATA_SOURCE | 0 | addr1 | $0 |
| DATA_SOURCE | 1 | addr2 | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr1->sa.sa_family | 2,10[c] |
| USER_DATA | 0 | addr1->v4.sin_addr.s_addr | 1-4294967294 |
| USER_DATA | 0 | addr1->v4.sin_family | 0-u16max |
| USER_DATA | 0 | addr1->v4.sin_port | 0-u16max |
| USER_DATA | 0 | addr1->v6.sin6_family | 0-u16max |
| USER_DATA | 0 | addr1->v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | addr1->v6.sin6_port | 0-u16max |
| USER_DATA | 0 | addr1->v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | addr2->sa.sa_family | 0-u16max[u] |
| USER_DATA | 1 | addr2->v4.sin_addr.s_addr | 0-u32max[u] |
| USER_DATA | 1 | addr2->v4.sin_family | 0-u16max[u] |
| USER_DATA | 1 | addr2->v4.sin_port | 0-u16max |
| USER_DATA | 1 | addr2->v6.sin6_family | 0-u16max[u] |
| USER_DATA | 1 | addr2->v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 1 | addr2->v6.sin6_port | 0-u16max |
| USER_DATA | 1 | addr2->v6.sin6_scope_id | 0-u32max[u] |
| USER_PTR | 0 | addr1 | |
| USER_PTR | 1 | addr2 | |
| HALF_LOCKED2 | &head->lock | ||
| HALF_LOCKED2 | &seq->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | sk |