Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/route.c __mkroute_input() -> rt_set_nexthop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rt | 4096-ptr_max |
| PARAM_VALUE | 0 | rt->dst.input | 1826176195287797760 |
| PARAM_VALUE | 0 | rt->dst.output | 3309956784800464896 |
| PARAM_VALUE | 0 | rt->rt_flags | 0 |
| PARAM_VALUE | 0 | rt->rt_gw4 | 0 |
| PARAM_VALUE | 0 | rt->rt_gw_family | 0 |
| PARAM_VALUE | 0 | rt->rt_iif | 0 |
| PARAM_VALUE | 0 | rt->rt_is_input | 1 |
| PARAM_VALUE | 0 | rt->rt_mtu_locked | 0 |
| PARAM_VALUE | 0 | rt->rt_pmtu | 0 |
| PARAM_VALUE | 0 | rt->rt_type | 1,3 |
| PARAM_VALUE | 0 | rt->rt_uses_gateway | 0 |
| PARAM_VALUE | 1 | daddr | 1-4294967294 |
| PARAM_VALUE | 2 | res | 1393448695251062784,8909405672440926208 |
| PARAM_VALUE | 2 | res->fi | 0,4096-ptr_max |
| PARAM_VALUE | 2 | res->fi->fib_dead | 0 |
| PARAM_VALUE | 2 | res->fi->nh | 0,4096-ptr_max |
| PARAM_VALUE | 2 | res->nhc->nhc_family | 0,2,10 |
| PARAM_VALUE | 2 | res->nhc->nhc_gw_family | 0,2,10 |
| PARAM_VALUE | 2 | res->table->tb_data | 4096-ptr_max |
| PARAM_VALUE | 2 | res->type | 1,3 |
| PARAM_VALUE | 2 | (*res).nhc | 4096-ptr_max |
| PARAM_VALUE | 2 | (*res).nhc->nhc_exceptions | 0,4096-ptr_max |
| PARAM_VALUE | 3 | fnhe | 0,4096-ptr_max |
| PARAM_VALUE | 4 | fi | 0,4096-ptr_max |
| PARAM_VALUE | 4 | fi->fib_dead | 0 |
| PARAM_VALUE | 4 | fi->nh | 0,4096-ptr_max |
| PARAM_VALUE | 5 | type | 1,3 |
| CAPPED_DATA | 1 | daddr | 1 |
| DATA_SOURCE | 0 | rt | r rt_dst_alloc |
| DATA_SOURCE | 1 | daddr | $3 |
| DATA_SOURCE | 2 | res | $1 |
| DATA_SOURCE | 3 | fnhe | r find_exception |
| FUZZY_MAX | 2 | res->type | 3 |
| FUZZY_MAX | 5 | type | 3 |
| BIT_INFO | 0 | rt->rt_type | 0x1,0x3 |
| BIT_INFO | 2 | res->type | 0x1,0x3 |
| BIT_INFO | 5 | type | 0x1,0x3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->stats.tx_bytes | |
| UNITS | 1 | daddr | unit_byte |
| LOCK2 | rcu_read |
net/ipv4/route.c __mkroute_output() -> rt_set_nexthop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rt | 4096-ptr_max |
| PARAM_VALUE | 0 | rt->dst.output | 1681878067841851392,3309956784800464896,7099098218899050496 |
| PARAM_VALUE | 0 | rt->rt_flags | 0,536870912,2147483648,2415919104,2684354560 |
| PARAM_VALUE | 0 | rt->rt_gw4 | 0 |
| PARAM_VALUE | 0 | rt->rt_gw_family | 0 |
| PARAM_VALUE | 0 | rt->rt_is_input | 0 |
| PARAM_VALUE | 0 | rt->rt_mtu_locked | 0 |
| PARAM_VALUE | 0 | rt->rt_pmtu | 0 |
| PARAM_VALUE | 0 | rt->rt_type | 0-255 |
| PARAM_VALUE | 0 | rt->rt_uses_gateway | 0 |
| PARAM_VALUE | 2 | res | 429988801965383680,8909405672440926208 |
| PARAM_VALUE | 2 | res->fi->fib_dead | 0 |
| PARAM_VALUE | 2 | res->fi->nh | 0,4096-ptr_max |
| PARAM_VALUE | 2 | res->nhc->nhc_dev->ip_ptr | 4096-ptr_max |
| PARAM_VALUE | 2 | res->table->tb_data | 4096-ptr_max |
| PARAM_VALUE | 3 | fnhe | 0,4096-ptr_max |
| PARAM_VALUE | 4 | fi->fib_dead | 0 |
| PARAM_VALUE | 4 | fi->nh | 0,4096-ptr_max |
| PARAM_VALUE | 5 | type | 0-255 |
| PARAM_VALUE | 6 | itag | 0 |
| CAPPED_DATA | 1 | daddr | 1 |
| DATA_SOURCE | 0 | rt | r rt_dst_alloc |
| DATA_SOURCE | 2 | res | $0 |
| FUZZY_MAX | 5 | type | 5 |
| BIT_INFO | 0 | rt->dst.output | 0x5102001000000,0x7fff7f3fbffff000 |
| BIT_INFO | 0 | rt->rt_flags | 0x0,0xb0000000 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | rt->rt_iif | s32min-(-1),1-s32max |
| USER_DATA | 1 | daddr | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | rt->dev->stats.tx_bytes | |
| UNITS | 1 | daddr | unit_byte |
| LOCK2 | rcu_read |