Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dbacktrack.c688 if (reg->type != SCALAR_VALUE || reg->precise) in bpf_mark_all_scalars_precise()
700 if (reg->type != SCALAR_VALUE || reg->precise) in bpf_mark_all_scalars_precise()
828 if (reg->type != SCALAR_VALUE) { in bpf_mark_chain_precision()
863 if (reg->type == SCALAR_VALUE) { in bpf_mark_chain_precision()
921 if (reg->type != SCALAR_VALUE) { in bpf_mark_chain_precision()
956 if (reg->type != SCALAR_VALUE || reg->precise) { in bpf_mark_chain_precision()
H A Dstates.c448 if (spill->type != SCALAR_VALUE) in __clean_func_state()
541 case SCALAR_VALUE: in regsafe()
670 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_after()
1035 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
1052 if (state_reg->type != SCALAR_VALUE || in propagate_precision()
1223 if (reg->type != SCALAR_VALUE) in mark_all_scalars_imprecise()
1231 if (reg->type != SCALAR_VALUE) in mark_all_scalars_imprecise()
H A Dlog.c404 [SCALAR_VALUE] = "scalar", in reg_type_str()
632 if (t == SCALAR_VALUE && reg->precise) in print_reg_state()
634 if (t == SCALAR_VALUE && tnum_is_const(reg->var_off)) { in print_reg_state()
668 if (t != SCALAR_VALUE && reg->delta) { in print_reg_state()
H A Dverifier.c1888 reg->type = SCALAR_VALUE; in __mark_reg_const_zero()
2196 reg->type = SCALAR_VALUE; in bpf_mark_reg_unknown_imprecise()
2251 case SCALAR_VALUE: in mark_btf_ld_reg()
3400 return reg->type == SCALAR_VALUE && in is_reg_const()
3412 return type != SCALAR_VALUE && type != NOT_INIT; in is_pointer_regtype()
3433 if (src_reg->type != SCALAR_VALUE) in assign_scalar_id_before_mov()
3580 if (reg && !(off % BPF_REG_SIZE) && reg->type == SCALAR_VALUE && env->bpf_capable) { in check_stack_write_fixed_off()
3597 tmp_reg->type = SCALAR_VALUE; in check_stack_write_fixed_off()
3899 if (reg->type != SCALAR_VALUE) { in check_stack_read_fixed_off()
4202 arg->type = SCALAR_VALUE; in check_stack_arg_write()
[all …]
H A Ddiagnostics.c934 case SCALAR_VALUE: in bpf_diag_reg_type_plain()
2107 if (snapshot->type == SCALAR_VALUE) { in diag_reg_snapshot()
H A Dbtf.c7152 info->reg_type = SCALAR_VALUE; in btf_ctx_access()
7477 return SCALAR_VALUE; in btf_struct_access()
7488 return SCALAR_VALUE; in btf_struct_access()
/linux/io_uring/
H A Dbpf-ops.c97 return SCALAR_VALUE; in bpf_io_btf_struct_access()
/linux/include/linux/
H A Dbpf_verifier.h1278 return bpf_is_spilled_reg(stack) && stack->spilled_ptr.type == SCALAR_VALUE; in bpf_is_spilled_scalar_reg()
1283 return reg->type == SCALAR_VALUE && tnum_equals_const(reg->var_off, 0); in bpf_register_is_null()
H A Dbpf.h1051 SCALAR_VALUE, /* reg doesn't contain a valid pointer */ enumerator
/linux/kernel/sched/ext/
H A Dext.c8144 return SCALAR_VALUE; in bpf_scx_btf_struct_access_common()
8161 return SCALAR_VALUE; in bpf_scx_btf_struct_access()