Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/netfilter/nft_dynset.c nft_dynset_destroy() -> nft_expr_destroy()

Type Parameter Key Value
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]

net/netfilter/nft_dynset.c nft_dynset_expr_alloc() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->net 4096-ptr_max
PARAM_VALUE 0 ctx->net->gen 4096-ptr_max
PARAM_VALUE 1 expr 4096-ptr_max
PARAM_VALUE 1 expr->ops 4096-ptr_max
PARAM_VALUE 1 expr->ops->type 4096-ptr_max
PARAM_VALUE 1 expr->ops->type->flags 0-1,3
BUF_SIZE 1 expr 0-s32max
BUF_SIZE 1 expr 0-s32max
CAPPED_DATA 0 ctx->net->gen 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 expr r nft_set_elem_expr_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]

net/netfilter/nft_dynset.c nft_dynset_init() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->net 4096-ptr_max
PARAM_VALUE 0 ctx->net->gen 4096-ptr_max
CAPPED_DATA 0 ctx->net->gen 1
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]

net/netfilter/nf_tables_api.c nf_tables_newset() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7760697101040459776
PARAM_VALUE 0 ctx->chain 0
PARAM_VALUE 0 ctx->family 0-63
PARAM_VALUE 0 ctx->level 0
PARAM_VALUE 0 ctx->net 4096-ptr_max
PARAM_VALUE 0 ctx->nla 4096-ptr_max
PARAM_VALUE 0 ctx->table 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nf_tables_api.c nf_tables_newset() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7760697101040459776
PARAM_VALUE 0 ctx->chain 0
PARAM_VALUE 0 ctx->family 0-63
PARAM_VALUE 0 ctx->level 0
PARAM_VALUE 0 ctx->net 4096-ptr_max
PARAM_VALUE 0 ctx->nla 4096-ptr_max
PARAM_VALUE 0 ctx->table 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nf_tables_api.c nft_set_destroy() -> nft_expr_destroy()

Type Parameter Key Value
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]
HALF_LOCKED2 &nft_net->commit_mutex

net/netfilter/nf_tables_api.c nft_set_elem_expr_alloc() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->net 4096-ptr_max
PARAM_VALUE 1 expr 4096-ptr_max
PARAM_VALUE 1 expr->ops 4096-ptr_max
PARAM_VALUE 1 expr->ops->type 4096-ptr_max
PARAM_VALUE 1 expr->ops->type->flags 3
BUF_SIZE 1 expr 0-s32max
BUF_SIZE 1 expr 0-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 expr r nft_expr_init
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]

net/netfilter/nf_tables_api.c nft_set_elem_expr_clone() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->net 4096-ptr_max
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]

net/netfilter/nf_tables_api.c nft_set_elem_expr_setup() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2576146516772204544
PARAM_VALUE 0 ctx->net 4096-ptr_max
PARAM_VALUE 1 expr 4096-ptr_max
PARAM_VALUE 1 expr->ops 4096-ptr_max
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nf_tables_api.c nft_set_elem_expr_setup() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2576146516772204544
PARAM_VALUE 0 ctx->net 4096-ptr_max
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/netfilter/nf_tables_api.c nft_set_expr_alloc() -> nft_expr_destroy()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7760697101040459776
PARAM_VALUE 0 ctx->chain 0
PARAM_VALUE 0 ctx->family 0-63
PARAM_VALUE 0 ctx->level 0
PARAM_VALUE 0 ctx->net 4096-ptr_max
PARAM_VALUE 0 ctx->nla 4096-ptr_max
PARAM_VALUE 0 ctx->table 4096-ptr_max
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->flags 0-u16max[u]
USER_DATA 0 ctx->report 0-1
USER_DATA 0 ctx->seq 0-u32max[u]
HALF_LOCKED2 &nft_net->commit_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read