bpf: Verifier, do explicit ALU32 bounds tracking

[mirror_ubuntu-jammy-kernel.git] / include / linux / bpf_verifier.h

diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h
index 5406e6e96585ccd89acb98f9cc3efb3359d09f60..6abd5a778fcde626960c28699efd714430cf8201 100644 (file)
--- a/include/linux/bpf_verifier.h
+++ b/include/linux/bpf_verifier.h
@@ -123,6 +123,10 @@ struct bpf_reg_state {
        s64 smax_value; /* maximum possible (s64)value */
        u64 umin_value; /* minimum possible (u64)value */
        u64 umax_value; /* maximum possible (u64)value */
+       s32 s32_min_value; /* minimum possible (s32)value */
+       s32 s32_max_value; /* maximum possible (s32)value */
+       u32 u32_min_value; /* minimum possible (u32)value */
+       u32 u32_max_value; /* maximum possible (u32)value */
        /* parentage chain for liveness checking */
        struct bpf_reg_state *parent;
        /* Inside the callee two registers can be both PTR_TO_STACK like