func_states_equal

Name:mpare two verifier states* all states stored in state_list are known to be valid, since* verifier reached 'bpf_exit' instruction through them* this function is called when verifier exploring different branches of* execution popped from the state stack

Proto:static bool func_states_equal(struct bpf_func_state *old, struct bpf_func_state *cur)

Type:bool

Parameter:

Type	Parameter	Name
struct bpf_func_state *	old
struct bpf_func_state *	cur

7300

bool ret = false

7303

idmap = kcalloc - allocate memory for an array. The memory is set to zero.*@n: number of elements.*@size: element size.*@flags: the type of memory to allocate (see kmalloc).

7305

If Not idmap Then Return false

7308

When i < BPF has 10 general purpose 64-bit registers and stack frame. cycle

7309

If Not Returns true if (rold safe implies rcur safe) Then Go to out_free

7313

If Not stacksafe(old, cur, idmap) Then Go to out_free

7316

If Not refsafe(old, cur) Then Go to out_free

7318

ret = true

7319

7320

7321

Return ret

**Caller**
Name	Describe
states_equal

Source code conversion tool public plug-in interface	X
Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion