Lines Matching refs:rold
10428 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, in regsafe() argument
10433 if (!(rold->live & REG_LIVE_READ)) in regsafe()
10437 equal = memcmp(rold, rcur, offsetof(struct bpf_reg_state, parent)) == 0; in regsafe()
10439 if (rold->type == PTR_TO_STACK) in regsafe()
10443 return equal && rold->frameno == rcur->frameno; in regsafe()
10448 if (rold->type == NOT_INIT) in regsafe()
10453 switch (rold->type) { in regsafe()
10458 if (!rold->precise && !rcur->precise) in regsafe()
10461 return range_within(rold, rcur) && in regsafe()
10462 tnum_in(rold->var_off, rcur->var_off); in regsafe()
10483 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 && in regsafe()
10484 range_within(rold, rcur) && in regsafe()
10485 tnum_in(rold->var_off, rcur->var_off); in regsafe()
10496 if (memcmp(rold, rcur, offsetof(struct bpf_reg_state, id))) in regsafe()
10499 return check_ids(rold->id, rcur->id, idmap); in regsafe()
10502 if (rcur->type != rold->type) in regsafe()
10510 if (rold->range > rcur->range) in regsafe()
10515 if (rold->off != rcur->off) in regsafe()
10518 if (rold->id && !check_ids(rold->id, rcur->id, idmap)) in regsafe()
10521 return range_within(rold, rcur) && in regsafe()
10522 tnum_in(rold->var_off, rcur->var_off); in regsafe()