Home
last modified time | relevance | path

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

/openbmc/linux/kernel/bpf/
H A Dverifier.c2453 static bool __reg64_bound_s32(s64 a) in __reg64_bound_s32() function
2466 if (__reg64_bound_s32(reg->smin_value) && __reg64_bound_s32(reg->smax_value)) { in __reg_combine_64_into_32()