Home
last modified time | relevance | path

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

/linux-6.1.9/kernel/bpf/
Dverifier.c900 if (reg->smax_value != reg->umax_value && in print_verifier_state()
901 reg->smax_value != S64_MAX) in print_verifier_state()
902 verbose_a("smax=%lld", (long long)reg->smax_value); in print_verifier_state()
916 if (reg->s32_max_value != reg->smax_value && in print_verifier_state()
1339 reg->smax_value = (s64)imm; in ___mark_reg_known()
1452 reg->smax_value = S64_MAX; in __mark_reg_unbounded()
1465 reg->smax_value = S64_MAX; in __mark_reg64_unbounded()
1499 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg64_bounds()
1554 if (reg->smin_value >= 0 || reg->smax_value < 0) { in __reg64_deduce_bounds()
1557 reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value, in __reg64_deduce_bounds()
[all …]
/linux-6.1.9/include/linux/
Dbpf_verifier.h160 s64 smax_value; /* maximum possible (s64)value */ member