Home
last modified time | relevance | path

Searched refs:s32_min_value (Results 1 – 2 of 2) sorted by relevance

/linux-6.1.9/kernel/bpf/
Dverifier.c913 if (reg->s32_min_value != reg->smin_value && in print_verifier_state()
914 reg->s32_min_value != S32_MIN) in print_verifier_state()
915 verbose_a("s32_min=%d", (int)(reg->s32_min_value)); in print_verifier_state()
1343 reg->s32_min_value = (s32)imm; in ___mark_reg_known()
1363 reg->s32_min_value = (s32)imm; in __mark_reg32_known()
1456 reg->s32_min_value = S32_MIN; in __mark_reg_unbounded()
1472 reg->s32_min_value = S32_MIN; in __mark_reg32_unbounded()
1483 reg->s32_min_value = max_t(s32, reg->s32_min_value, in __update_reg32_bounds()
1520 if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) { in __reg32_deduce_bounds()
1521 reg->s32_min_value = reg->u32_min_value = in __reg32_deduce_bounds()
[all …]
/linux-6.1.9/include/linux/
Dbpf_verifier.h163 s32 s32_min_value; /* minimum possible (s32)value */ member