Home
last modified time | relevance | path

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

/linux-6.12.1/kernel/bpf/
Dverifier.c14621 s64 smax1 = is_jmp32 ? (s64)reg1->s32_max_value : reg1->smax_value; in is_scalar_branch_taken() local
14637 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
14661 if (smin1 > smax2 || smax1 < smin2) in is_scalar_branch_taken()
14697 else if (smax1 <= smin2) in is_scalar_branch_taken()
14707 if (smax1 < smin2) in is_scalar_branch_taken()
14721 else if (smax1 < smin2) in is_scalar_branch_taken()
14731 if (smax1 <= smin2) in is_scalar_branch_taken()