Home
last modified time | relevance | path

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

/linux-6.12.1/kernel/bpf/
Dverifier.c14619 u64 umax1 = is_jmp32 ? (u64)reg1->u32_max_value : reg1->umax_value; in is_scalar_branch_taken() local
14635 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
14659 if (umin1 > umax2 || umax1 < umin2) in is_scalar_branch_taken()
14691 else if (umax1 <= umin2) in is_scalar_branch_taken()
14701 if (umax1 < umin2) in is_scalar_branch_taken()
14715 else if (umax1 < umin2) in is_scalar_branch_taken()
14725 if (umax1 <= umin2) in is_scalar_branch_taken()