Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c16668 s64 smin2 = is_jmp32 ? (s64)reg2->s32_min_value : reg2->smin_value; in is_scalar_branch_taken() local
16707 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
16733 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
16769 else if (smax1 <= smin2) in is_scalar_branch_taken()
16779 if (smax1 < smin2) in is_scalar_branch_taken()
16793 else if (smax1 < smin2) in is_scalar_branch_taken()
16803 if (smax1 <= smin2) in is_scalar_branch_taken()