Home
last modified time | relevance | path

Searched refs:smin_value (Results 1 – 3 of 3) sorted by relevance

/linux-6.12.1/kernel/bpf/
Dverifier.c375 if (reg->smin_value > S64_MIN) { in verbose_invalid_scalar()
376 verbose(env, " smin=%lld", reg->smin_value); in verbose_invalid_scalar()
1757 reg->smin_value = (s64)imm; in ___mark_reg_known()
1909 reg->smin_value = S64_MIN; in __mark_reg_unbounded()
1922 reg->smin_value = S64_MIN; in __mark_reg64_unbounded()
1954 reg->smin_value = max_t(s64, reg->smin_value, in __update_reg64_bounds()
2006 if ((reg->smin_value >> 32) == (reg->smax_value >> 32)) { in __reg32_deduce_bounds()
2008 if ((u32)reg->smin_value <= (u32)reg->smax_value) { in __reg32_deduce_bounds()
2009 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->smin_value); in __reg32_deduce_bounds()
2013 if ((s32)reg->smin_value <= (s32)reg->smax_value) { in __reg32_deduce_bounds()
[all …]
Dlog.c619 {"smin", reg->smin_value, reg->smin_value == S64_MIN}, in print_scalar_ranges()
/linux-6.12.1/include/linux/
Dbpf_verifier.h154 s64 smin_value; /* minimum possible (s64)value */ member