Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c15536 u64 umax2 = is_jmp32 ? (u64)reg2->u32_max_value : reg2->umax_value; in is_scalar_branch_taken() local
15574 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
15600 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
15630 if (umin1 > umax2) in is_scalar_branch_taken()
15644 else if (umin1 >= umax2) in is_scalar_branch_taken()
15654 if (umin1 >= umax2) in is_scalar_branch_taken()
15668 else if (umin1 > umax2) in is_scalar_branch_taken()