Lines Matching refs:allow_ptr_leaks
1017 regs->precise = env->subprog_cnt > 1 || !env->allow_ptr_leaks ? in mark_reg_unknown()
1139 if (!env->allow_ptr_leaks) { in check_subprogs()
1462 print_bpf_insn(&cbs, insn, env->allow_ptr_leaks); in backtrack_insn()
1674 if (!env->allow_ptr_leaks) in __mark_chain_precision()
1900 if (!env->allow_ptr_leaks && in check_stack_write()
1912 !register_is_null(reg) && env->allow_ptr_leaks) { in check_stack_write()
1938 if (!env->allow_ptr_leaks) { in check_stack_write()
2419 static bool __is_pointer_value(bool allow_ptr_leaks, in __is_pointer_value() argument
2422 if (allow_ptr_leaks) in __is_pointer_value()
2435 return __is_pointer_value(env->allow_ptr_leaks, reg_state(env, regno)); in is_pointer_value()
2994 if (!env->allow_ptr_leaks) { in check_stack_boundary()
4237 return env->allow_ptr_leaks || BPF_SRC(insn->code) == BPF_K; in can_skip_alu_sanitation()
4379 if (!env->allow_ptr_leaks && !known && (smin_val < 0) != (smax_val < 0)) { in adjust_ptr_min_max_vals()
4544 if (!env->allow_ptr_leaks) { in adjust_ptr_min_max_vals()
4866 if (opcode == BPF_SUB && env->allow_ptr_leaks) { in adjust_reg_min_max_vals()
6255 if (loop_ok && env->allow_ptr_leaks) in push_insn()
7357 if (!env->allow_ptr_leaks && states_cnt > BPF_COMPLEXITY_LIMIT_STATES) in is_state_visited()
7561 print_bpf_insn(&cbs, insn, env->allow_ptr_leaks); in do_check()
9269 env->allow_ptr_leaks = is_priv; in bpf_check()