Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ip_output.c __ip_make_skb() -> ip_copy_addrs()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
BUF_SIZE 1 fl4 (-1),56
BUF_SIZE 1 fl4 (-1),56
DATA_SOURCE 0 iph r ip_hdr
DATA_SOURCE 1 fl4 $1
BIT_INFO 0 iph->frag_off 0x0,0x4000
NOSPEC 1 fl4->__fl_common.flowic_oif
NOSPEC 1 fl4->daddr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 fl4->__fl_common.flowic_dscp 0,4-252[c]
USER_DATA 1 fl4->__fl_common.flowic_oif s32min-(-1),1-s32max[c]
USER_DATA 1 fl4->daddr 0-u32max
USER_DATA 1 fl4->saddr 0-u32max
USER_DATA 1 fl4->uli.ports.dport 1-u16max[u]
HALF_LOCKED2 sk

net/ipv4/ip_output.c __ip_queue_xmit() -> ip_copy_addrs()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
PARAM_VALUE 0 *iph 17664-17919
BUF_SIZE 1 fl4 56
DATA_SOURCE 0 iph r ip_hdr
BIT_INFO 0 iph->frag_off 0x0,0x4000
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read