Home
last modified time | relevance | path

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

/linux-6.15/kernel/bpf/
H A Dverifier.c15645 s64 smax2 = is_jmp32 ? (s64)reg2->s32_max_value : reg2->smax_value; in is_scalar_branch_taken() local
15657 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
15681 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
15715 if (smin1 > smax2) in is_scalar_branch_taken()
15729 else if (smin1 >= smax2) in is_scalar_branch_taken()
15739 if (smin1 >= smax2) in is_scalar_branch_taken()
15753 else if (smin1 > smax2) in is_scalar_branch_taken()