Lines Matching defs:rold
8981 /* Returns true if (rold safe implies rcur safe) */
8982 static bool regsafe(struct bpf_verifier_env *env, struct bpf_reg_state *rold, struct bpf_reg_state *rcur,
8987 if (!(rold->live & REG_LIVE_READ)) {
8992 equal = memcmp(rold, rcur, offsetof(struct bpf_reg_state, parent)) == 0;
8994 if (rold->type == PTR_TO_STACK) {
8998 return equal && rold->frameno == rcur->frameno;
9005 if (rold->type == NOT_INIT) {
9012 switch (base_type(rold->type)) {
9018 if (!rold->precise && !rcur->precise) {
9022 return range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off);
9041 if (type_may_be_null(rold->type)) {
9045 if (memcmp(rold, rcur, offsetof(struct bpf_reg_state, id))) {
9049 return check_ids(rold->id, rcur->id, idmap);
9060 return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 && range_within(rold, rcur) &&
9061 tnum_in(rold->var_off, rcur->var_off);
9064 if (rcur->type != rold->type) {
9073 if (rold->range > rcur->range) {
9079 if (rold->off != rcur->off) {
9083 if (rold->id && !check_ids(rold->id, rcur->id, idmap)) {
9087 return range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off);