bpf/verifier: more concise register state logs for constant var_off (7d1238f2) · Commits · 戴 / test

kernel/bpf/verifier.c

+27 −19

Original line number	Diff line number	Diff line
		@@ -234,6 +234,13 @@ static void print_verifier_state(struct bpf_verifier_state *state)
		verbose(",ks=%d,vs=%d",
		reg->map_ptr->key_size,
		reg->map_ptr->value_size);
		if (tnum_is_const(reg->var_off)) {
		/* Typically an immediate SCALAR_VALUE, but
		* could be a pointer whose offset is too big
		* for reg->off
		*/
		verbose(",imm=%llx", reg->var_off.value);
		} else {
		if (reg->smin_value != reg->umin_value &&
		reg->smin_value != S64_MIN)
		verbose(",smin_value=%lld",
		@@ -254,6 +261,7 @@ static void print_verifier_state(struct bpf_verifier_state *state)
		tnum_strn(tn_buf, sizeof(tn_buf), reg->var_off);
		verbose(",var_off=%s", tn_buf);
		}
		}
		verbose(")");
		}
		}