Home
last modified time | relevance | path

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

/linux/kernel/bpf/
A Dverifier.c1220 reg->smin_value = S64_MIN; in __mark_reg_unbounded()
1233 reg->smin_value = S64_MIN; in __mark_reg64_unbounded()
1265 reg->smin_value = max_t(s64, reg->smin_value, in __update_reg64_bounds()
1324 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1344 reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, in __reg64_deduce_bounds()
1388 reg->smin_value = 0; in __reg_assign_32_into_64()
3388 (off + reg->smin_value != (s64)(s32)(off + reg->smin_value)) || in check_mem_region_access()
8834 true_reg->smin_value = max(true_reg->smin_value, true_smin); in reg_set_min_max()
8871 false_reg->smin_value = max(false_reg->smin_value, false_smin); in reg_set_min_max()
8919 src_reg->smin_value = dst_reg->smin_value = max(src_reg->smin_value, in __reg_combine_min_max()
[all …]
/linux/include/linux/
A Dbpf_verifier.h143 s64 smin_value; /* minimum possible (s64)value */ member

Completed in 29 milliseconds