Home
last modified time | relevance | path

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

/linux-6.1.9/kernel/bpf/
Dverifier.c7842 static bool signed_sub_overflows(s64 a, s64 b) in signed_sub_overflows() function
8389 if (signed_sub_overflows(smin_ptr, smax_val) || in adjust_ptr_min_max_vals()
8390 signed_sub_overflows(smax_ptr, smin_val)) { in adjust_ptr_min_max_vals()
8534 if (signed_sub_overflows(dst_reg->smin_value, smax_val) || in scalar_min_max_sub()
8535 signed_sub_overflows(dst_reg->smax_value, smin_val)) { in scalar_min_max_sub()