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

/linux-master/kernel/bpf/
H A Dverifier.c12528 static bool signed_sub_overflows(s64 a, s64 b) function
13086 if (signed_sub_overflows(smin_ptr, smax_val) ||
13087 signed_sub_overflows(smax_ptr, smin_val)) {
13231 if (signed_sub_overflows(dst_reg->smin_value, smax_val) ||
13232 signed_sub_overflows(dst_reg->smax_value, smin_val)) {

Completed in 141 milliseconds