Function save_safe_eval_state

dpdk/lib/bpf/bpf_validate.c:2190–2203

* add @start state to the list of @safe states. */

 * add @start state to the list of @safe states.
 */
static void
save_safe_eval_state(struct bpf_verifier *bvf, struct inst_node *node)
{
	if (node->evst.start == NULL)
		return;

	SLIST_INSERT_HEAD(&node->evst.safe, node->evst.start, next);
	node->evst.nb_safe++;

	RTE_BPF_LOG(DEBUG, "%s(bvf=%p,node=%u,state=%p): nb_safe=%u;\n", __func__, bvf, get_node_idx(bvf, node),
		    node->evst.start, node->evst.nb_safe);

	node->evst.start = NULL;
}

/*
 * Save current eval state.