Home
last modified time | relevance | path

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

/linux/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c59 if (reg2->type != SCALAR_VALUE || !tnum_is_const(reg2->var_off)) in nfp_record_adjust_head()
234 BUILD_BUG_ON(NFP_BPF_SCALAR_VALUE != SCALAR_VALUE || in nfp_bpf_check_helper_call()
263 if (reg1->type != SCALAR_VALUE /* NULL ptr */ && in nfp_bpf_check_helper_call()
320 if (!(reg0->type == SCALAR_VALUE && tnum_is_const(reg0->var_off))) { in nfp_bpf_check_exit()
542 if (sreg->type != SCALAR_VALUE) { in nfp_bpf_check_atomic()
/linux/kernel/bpf/
H A Dlog.c445 [SCALAR_VALUE] = "scalar", in reg_type_str()
688 if (t == SCALAR_VALUE && reg->precise) in print_reg_state()
690 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) { in print_reg_state()
724 if (t != SCALAR_VALUE && reg->off) { in print_reg_state()
H A Dverifier.c1801 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
2340 reg->type = SCALAR_VALUE; in __mark_reg_unknown_imprecise()
2417 if (reg_type == SCALAR_VALUE) { in mark_btf_ld_reg()
4677 tmp_reg->type = SCALAR_VALUE; in check_stack_write_fixed_off()
8650 case SCALAR_VALUE: in check_func_arg_reg_off()
14232 off_reg.type = SCALAR_VALUE; in adjust_reg_min_max_vals()
15062 if (false_reg1->type != SCALAR_VALUE || false_reg2->type != SCALAR_VALUE) in reg_set_min_max()
15104 reg->type = SCALAR_VALUE; in mark_ptr_or_null_reg()
15426 src_reg->type = SCALAR_VALUE; in check_cond_jmp_op()
17258 case SCALAR_VALUE: in regsafe()
[all …]
H A Dbtf.c6928 return SCALAR_VALUE; in btf_struct_access()
6936 return SCALAR_VALUE; in btf_struct_access()
/linux/Documentation/bpf/
H A Dverifier.rst20 If R1=PTR_TO_CTX and insn is R2=R1+R1, then R2=SCALAR_VALUE,
118 written to), SCALAR_VALUE (some value which is not usable as a pointer), or a
172 branches. For instance, if a SCALAR_VALUE is compared > 8, in the 'true' branch
260 operation will set the register state to 'SCALAR_VALUE' and it won't be
/linux/kernel/sched/
H A Dext.c5382 return SCALAR_VALUE; in bpf_scx_btf_struct_access()
5385 return SCALAR_VALUE; in bpf_scx_btf_struct_access()
5388 return SCALAR_VALUE; in bpf_scx_btf_struct_access()
/linux/include/linux/
H A Dbpf.h884 SCALAR_VALUE, /* reg doesn't contain a valid pointer */ enumerator