Lines Matching defs:rcur
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,
8992 equal = memcmp(rold, rcur, offsetof(struct bpf_reg_state, parent)) == 0;
8998 return equal && rold->frameno == rcur->frameno;
9009 if (rcur->type == NOT_INIT) {
9017 if (rcur->type == SCALAR_VALUE) {
9018 if (!rold->precise && !rcur->precise) {
9022 return range_within(rold, rcur) && tnum_in(rold->var_off, rcur->var_off);
9042 if (!type_may_be_null(rcur->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);